Theorem wcovBy_eq_reflGen_covBy

Modification history