10 QEC1: Root Module

This file serves as the root import module for the QEC1 library. It aggregates all definitions, remarks, and lemmas by importing the following modules:

• Rem 1: Notation for Binary Vectors

• Rem 2: Notation for Pauli Operators

• Rem 3: Notation for Stabilizer Codes

• Rem 4: Notation for Cheeger Constant

• Def 1: Boundary and Coboundary Maps

• Rem 5: Exactness of Sequences

• Def 2: Gauss Law and Flux Operators

• Def 3: Deformed Operator

• Rem 6: Noncommuting Operators Cannot Be Deformed

• Def 4: Deformed Code

• Lem 1: Deformed Code Checks

No new definitions or theorems are introduced in this file.