Theorem Equiv.Perm.Basis.mem_support_self

Modification history