Changes related to "Filter"
← Filter
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Pages on your watchlist are bold.
26 June 2022
- (diff | hist) . . Axiom of determinacy; 13:03 . . (+272) . . Julian Barathieu (Talk | contribs) (→Lightface projective hierarchy)
- (diff | hist) . . Axiom of determinacy; 13:00 . . (+91) . . Julian Barathieu (Talk | contribs) (→Full axiom of determinacy)