Theorem Set.preimage_invFun_of_not_mem

Modification history