OAI/RepresentationTheory/UniversalSquare/Contraction/
229 declarations, 0 contain sorry, 0 declared as axioms; 22 files
Files
- BandContractions.lean 9 declarations
- ChoiceContractions.lean 5 declarations
- ColumnCertificates.lean 11 declarations
- CompactDomains.lean 1 declarations
- CompactDomainsCore.lean 29 declarations
- ContractionNecessary.lean 3 declarations
- DomainContractions.lean 17 declarations
- DomainSolver.lean 11 declarations
- EncodedDomains.lean 1 declarations
- FactoredCertificates.lean 5 declarations
- FlagDetection.lean 8 declarations
- GeneralDetection.lean 2 declarations
- NondegeneratePairs.lean 2 declarations
- PairForms.lean 15 declarations
- PieriCertificates.lean 1 declarations
- PolynomialDetection.lean 11 declarations
- RowCertificates.lean 23 declarations
- SingletonForms.lean 13 declarations
- SquareDetection.lean 5 declarations
- SymmetricPairs.lean 21 declarations
- TwoPathContraction.lean 8 declarations
- VectorDomainsCore.lean 28 declarations