Theorem dvd_sub_self_left

Modification history