Theorem max_div_div_right'

Modification history