Theorem Equiv.Perm.support_extend_domain

Modification history