Theorem apply_wcovBy_apply_iff

Modification history