Theorem Ultrafilter.eventually_not

Modification history