Theorem SupHom.subtypeVal_apply

Modification history