Theorem Mathlib.Meta.NormNum.minFacHelper_3

Modification history