Theorem Equiv.Perm.extendDomain_apply_subtype

Modification history