Theorem strictMono_iff_forall_covby

Modification history