Theorem BotHom.inf_apply

Modification history