Theorem HVertexOperator.of_coeff_coeff

Modification history

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