Theorem subtypeOrEquiv_symm_inr

Modification history