Theorem min_bot_left

Modification history