Theorem Equiv.Perm.apply_mem_support

Modification history