Theorem Equiv.Perm.disjoint_ofSubtype_of_memFixedPoints_self

Modification history