Theorem lt_iff_transGen_covBy

Modification history