Theorem VertexAlg.HetVertexOperator.ext

Modification history

2024-07-16 01:36
Mathlib/Algebra/Vertex/HVertexOperator.lean
fix (Algebra/Vertex/HVertexOperator): rm defeq abuse in coeff function (#13422) …
Deleted VertexAlg.HetVertexOperator.extView on Github →
2024-06-29 09:06
Mathlib/Algebra/Vertex/HVertexOperator.lean
chore: tidy various files (#14230)
Modified VertexAlg.HetVertexOperator.extView on Github →
2024-05-17 07:11
Mathlib/Algebra/Vertex/HVertexOperator.lean
feat (Algebra/Vertex) Heterogeneous vertex operators (#11797) …
Added VertexAlg.HetVertexOperator.extView on Github →