Theorem NNRat.ext_num_den

Modification history