Theorem Mathlib.Meta.NormNum.isRat_inv_one

Modification history