Theorem Equiv.Perm.mem_iff_ofSubtype_apply_mem

Modification history