Theorem Mathlib.Meta.NormNum.isInt_inv_neg_one

Modification history