Theorem Ultrafilter.eq_pure_of_finite

Modification history