Commit 2025-06-25 13:48 df64e788
View on Github →feat: (q⁻¹).num and (q⁻¹).den for q : ℚ (#26381)
NNRat.num_inv_of_ne_zero already existed, this adds the Rat version.
feat: (q⁻¹).num and (q⁻¹).den for q : ℚ (#26381)
NNRat.num_inv_of_ne_zero already existed, this adds the Rat version.