Imports
/-
Copyright (c) 2026 Wahaj Ayub. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Wahaj Ayub
-/
moduleA. Band theory
This module provides a home for the theory of Bloch Hamiltonians and states, band projectors, energy bands and gaps, and band geometry. Generic quantum-mechanical infrastructure should be reused from Physlib rather than redefined here.
@[expose] public section