Theorem Equiv.Perm.subtypeEquivSubtypePerm_apply_of_not_mem

Modification history