Theorem lt_iff_transGen_covby

Modification history