Theorem BotHom.bot_apply

Modification history