Theorem conHom_con'

Modification history