Theorem SupBotHom.subtypeVal_apply

Modification history