Theorem Colex.hom_lt_iff

Modification history