Theorem one_sub_dvd_one_sub_pow

Modification history