Theorem Ultrafilter.comap_pure

Modification history