Theorem InfTopHom.subtypeVal_apply

Modification history