Theorem Set.preimage_invFun_of_mem

Modification history