Theorem Mathlib.Meta.NormNum.MinFacHelper.one_lt

Modification history