Theorem Mathlib.Meta.NormNum.isNat_minFac_4

Modification history