Theorem NNRat.mk_coe_nat

Modification history