Theorem NNRat.coe_max

Modification history