Def HVertexOperator.comp

Modification history

2024-07-17 20:56

Mathlib/Algebra/Vertex/HVertexOperator.lean

feat (Algebra/Vertex/HVertexOperator) : Composite heterogeneous vertex operators (#12998) …

Added HVertexOperator.comp View on Github →