OAI/GroupTheory/SimpleOvergroups/
1265 declarations, 0 contain sorry, 0 declared as axioms; 60 files
Files
- ActionCorner.lean 6 declarations
- ActionMonoid.lean 75 declarations
- ArrayNames.lean 16 declarations
- ArrayOperations.lean 11 declarations
- BoundedContexts.lean 18 declarations
- BoundedFamilyTests.lean 5 declarations
- BoundedForms.lean 32 declarations
- CanonicalNames.lean 12 declarations
- CodeEmbedding.lean 12 declarations
- CommonCompiler.lean 24 declarations
- CompilerSemantics.lean 11 declarations
- ContextualCompiler.lean 32 declarations
- ContextualTables.lean 28 declarations
- ContractedNormalForms.lean 17 declarations
- DoubleEffective.lean 28 declarations
- EffectiveActions.lean 16 declarations
- EffectiveArrays.lean 6 declarations
- EffectiveCode.lean 19 declarations
- EffectiveFamilies.lean 5 declarations
- EffectiveFold.lean 9 declarations
- EffectiveTables.lean 13 declarations
- EnlargementCore.lean 28 declarations
- EnlargementEffective.lean 23 declarations
- EnlargementNames.lean 42 declarations
- FamilyProgram.lean 11 declarations
- FamilyTables.lean 13 declarations
- FiniteNames.lean 6 declarations
- FirstFamilies.lean 26 declarations
- Main.lean 59 imports, no declarations
- MatrixEffective.lean 20 declarations
- MatrixNames.lean 38 declarations
- MatrixWords.lean 38 declarations
- NamedActions.lean 38 declarations
- PlanEffective.lean 7 declarations
- PolynomialBounds.lean 10 declarations
- PolynomialNames.lean 30 declarations
- PrefixArithmetic.lean 32 declarations
- PrefixEffective.lean 9 declarations
- PrefixLists.lean 23 declarations
- PrefixNames.lean 13 declarations
- PrefixProduct.lean 15 declarations
- Rekey.lean 2 declarations
- RingAssemblyTools.lean 21 declarations
- RingModel.lean 28 declarations
- SemanticActionMonoid.lean 12 declarations
- SemanticActions.lean 31 declarations
- SemanticDouble.lean 22 declarations
- SemanticEnlargements.lean 25 declarations
- SemanticProduct.lean 12 declarations
- SemanticTests.lean 13 declarations
- SourceModel.lean 77 declarations
- SourceProducer.lean 7 declarations
- SourceRingReduction.lean 4 declarations
- ThreeCodes.lean 15 declarations
- TruncatedAction.lean 20 declarations
- TruncatedAlgebra.lean 20 declarations
- TruncatedArrays.lean 33 declarations
- TruncatedMatrix.lean 38 declarations
- TwoEnlargements.lean 42 declarations
- VariableCode.lean 26 declarations