Theorem min_div_div_left'

Modification history