OAI/Combinatorics/PolynomialVacuum/Cylinder/StackProperties.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumCylinder.stack_up_supported line 9
2. theorem OAI.PolynomialVacuumCylinder.stack_supported line 24
3. theorem OAI.PolynomialVacuumCylinder.local_weight_ice line 40
4. def OAI.PolynomialVacuumCylinder.stackLocalWeight line 51
5. theorem OAI.PolynomialVacuumCylinder.stack_ice_of_weight_ne_zero line 56
6. theorem OAI.PolynomialVacuumCylinder.charge_injective line 79
7. theorem OAI.PolynomialVacuumCylinder.stackCurrent_injective line 85
8. theorem OAI.PolynomialVacuumCylinder.nonzero_stack_decomposition line 104