Theorem Mathlib.Meta.NormNum.isNat_minFac_1

Modification history