Theorem le_iff_transGen_wcovby

Modification history