Theorem InfHom.subtypeVal_apply

Modification history