Theorem NNRat.toNNRat_coe_nat

Modification history