Theorem TensorProduct.antipode_def

Modification history

2025-02-12 21:23
Mathlib/RingTheory/HopfAlgebra/TensorProduct.lean
feat: tensor products of Hopf algebras (#12009) …
Added TensorProduct.antipode_defView on Github →