Theorem Equiv.Perm.subtypeEquivSubtypePerm_apply_of_mem

Modification history