Theorem apply_covBy_apply_iff

Modification history