Theorem rel_iff_cov

Modification history