Theorem bot_covby_top

Modification history