Theorem Cardinal.mk_preimage_of_injective

Modification history