Theorem max_bot_left

Modification history