Theorem min_bot_right

Modification history