Theorem Equiv.Perm.Basis.ofPermHomFun_commute_zpow_apply

Modification history