Theorem VertexOperator.ncoeff_apply

Modification history

2025-09-16 09:16
Mathlib/Algebra/Vertex/VertexOperator.lean
chore (Algebra/Vertex): linearize coefficient functions (#29133) …
Added VertexOperator.ncoeff_applyView on Github →