Theorem subtypeOrEquiv_symm_inl

Modification history