Theorem NNRat.natCast_eq_divNat

Modification history