Commit 2024-03-24 08:11 555069bd
View on Github →feat: generalize algHom_C, add killCompl_C (#11205)
Generalizes algHom_C to work over polynomials of different variable types. Adds related lemma killCompl_C using this. Also removes simp tags from a few lemmas that are made redundant by this.