Theorem HVertexOperator.coeff_of_coeff

Modification history

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