Theorem le_iff_transGen_wcovBy

Modification history