Theorem HVertexOperator.isPWO_support_coeff

Modification history

2026-09-21 19:06
Mathlib/Algebra/Vertex/HVertexOperator.lean
chore: rename declarations whose names do not match their statements (#44051) …
Added HVertexOperator.isPWO_support_coeffView on Github →