Theorem SupHom.withBot_id

Modification history