Theorem InfHom.bot_apply

Modification history