Theorem transGen_wcovBy_of_le

Modification history