Theorem reflTransGen_wcovBy_eq_reflTransGen_covBy

Modification history