Theorem InfHom.withBot_comp

Modification history