Theorem Mathlib.Meta.NormNum.minFacHelper_2

Modification history