Theorem covby_iff_quot_is_simple

Modification history