Theorem Mathlib.Meta.NormNum.isNat_inv_one

Modification history