Theorem strictAnti_iff_forall_covby

Modification history