Theorem sSupHom.bot_apply

Modification history