Theorem Equiv.Perm.apply_mem_fixedPoints_iff_mem_of_mem_centralizer

Modification history