Theorem MvPolynomial.algebraMap_apply

Modification history

2023-09-21 09:16

Mathlib/Data/MvPolynomial/Basic.lean

chore: only four spaces for subsequent lines (#7286)

Modified MvPolynomial.algebraMap_apply View on Github →

2023-03-19 14:23

Mathlib/Data/MvPolynomial/Basic.lean

chore: forward-port leanprover-community/mathlib#18599 (#2954)

Added MvPolynomial.algebraMap_apply View on Github →