Theorem Mathlib.Meta.NormNum.natPow_zero_natMod_zero

Modification history