Skip to content

feat(LinearAlgebra/TensorAlgebra): implement HopfAlgebra for TensorAlgebra#31898

Open
ntapiam wants to merge 25 commits into
leanprover-community:masterfrom
ntapiam:tensor_hopf
Open

feat(LinearAlgebra/TensorAlgebra): implement HopfAlgebra for TensorAlgebra#31898
ntapiam wants to merge 25 commits into
leanprover-community:masterfrom
ntapiam:tensor_hopf

Commits

Commits on Nov 16, 2025

Commits on Nov 21, 2025

Commits on Nov 22, 2025

Commits on Nov 24, 2025

Commits on Nov 30, 2025

Commits on Dec 3, 2025