Theorem bot_covby_iff

Modification history