Theorem SupHom.withBot_comp

Modification history