Theorem eval_of_algHom

Modification history

2025-04-15 08:18
Mathlib/RepresentationTheory/Tannaka.lean
chore: move and rename `eval_of_algHom` (#23952) …
Deleted eval_of_algHomView on Github →
2025-04-10 20:47
Mathlib/RepresentationTheory/Tannaka.lean
feat: lemma `eval_of_algHom` (#23065) …
Added eval_of_algHomView on Github →