Structure PolynomialLaw

Modification history

2025-03-31 07:56

Mathlib/RingTheory/PolynomialLaw/Basic.lean

feat(RingTheory/PolynomialLaw/Basic): definition and elementary properties of polynomial laws (#22912) …

Added PolynomialLaw View on Github →