Theorem Set.mk_preimage_sigma

Modification history