Skip to main content
2 events
when toggle format what by license comment
Oct 12, 2012 at 15:29 comment added Andreas Blass This seems to be another way of "hiding" the ultrafilters in the ultrafilter proof.
Oct 12, 2012 at 13:40 history answered M Mueger CC BY-SA 3.0