Theorem Mathlib.Meta.NormNum.minFacHelper_0

Modification history