Theorem Mathlib.Meta.NormNum.minFacHelper_1

Modification history