Theorem min_top_right

Modification history