Theorem Ultrafilter.coe_pure

Modification history