Theorem SupHom.subtypeVal_coe

Modification history