Theorem Rat.zero_of_num_zero

Modification history