Theorem InfHom.withBot_id

Modification history