Theorem Equiv.Perm.Basis.ofPermHomFun_one

Modification history