Structure Mathlib.Meta.NormNum.IsNatPowModT

Modification history