Theorem NNRat.ext_num_den_iff

Modification history