Theorem NNRat.num_natCast

Modification history