Theorem Antitone.countable_setOf_two_preimages

Modification history