Theorem MvPolynomial.bind₁_C_right

Modification history

2024-03-24 08:11

Mathlib/Data/MvPolynomial/Monad.lean

feat: generalize `algHom_C`, add `killCompl_C` (#11205) …

Modified MvPolynomial.bind₁_C_right View on Github →

2023-04-04 01:03

Mathlib/Data/MvPolynomial/Monad.lean

feat: port Data.MvPolynomial.Monad (#2887) …

Added MvPolynomial.bind₁_C_right View on Github →