Theorem NNRat.den_natCast

Modification history