Theorem Equiv.Perm.extendDomain_apply_not_subtype

Modification history