Theorem Ultrafilter.ofComapInfPrincipal_eq_of_map

Modification history