Theorem HVertexOperator.coeff_isPWOsupport

Modification history

2026-09-21 19:06
Mathlib/Algebra/Vertex/HVertexOperator.lean
chore: rename declarations whose names do not match their statements (#44051) …
Deleted HVertexOperator.coeff_isPWOsupportView on Github →
2024-07-16 01:36
Mathlib/Algebra/Vertex/HVertexOperator.lean
fix (Algebra/Vertex/HVertexOperator): rm defeq abuse in coeff function (#13422) …
Added HVertexOperator.coeff_isPWOsupportView on Github →