Theorem same_sub_div

Modification history