Theorem div_sub_div_same

Modification history