Theorem Equiv.Perm.Basis.ofPermHomFun_apply_of_cycleOf_mem

Modification history