Theorem Mathlib.Meta.NormNum.isNat_minFac_3

Modification history