Theorem SupHom.bot_apply

Modification history