Theorem transGen_wcovBy_eq_reflTransGen_covBy

Modification history