Theorem Equiv.subtypeEquiv_refl

Modification history