Theorem Equiv.extendSubtype_mem

Modification history