Theorem PolynomialLaw.one_tmul_ground_apply'

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.one_tmul_ground_apply'View on Github →