Theorem Mathlib.Meta.NormNum.natPow_one_natMod

Modification history