OAI/SetTheory/PartitionPrinciple/Models/
243 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- CopyQuotient.lean 29 declarations
- ExternalCopyQuotient.lean 6 declarations
- GroundChoiceEnumerationSteps.lean 9 declarations
- GroundChoiceEnumerationTraces.lean 1 declarations
- GroundCoherentHeightChoices.lean 6 declarations
- GroundCountableQuotients.lean 15 declarations
- GroundExternalWordQuotient.lean 33 declarations
- GroundFiniteWordInjections.lean 3 declarations
- GroundInjectionRestrictions.lean 4 declarations
- GroundInternalRowChoice.lean 3 declarations
- GroundMainFinalAssignmentLabelInjections.lean 1 declarations
- GroundMainFinalPartitionModel.lean 5 declarations
- GroundMainFinalStructuralRowNonchoice.lean 1 declarations
- GroundNameSupportEnumerationChoices.lean 1 declarations
- GroundOrdinalPartitionInjectionAssembly.lean 12 declarations
- GroundQuotientBinaryOperations.lean 8 declarations
- GroundQuotientUnaryOperations.lean 8 declarations
- GroundRefinementQuotientNames.lean 30 declarations
- GroundRowCoverPartitionPrinciple.lean 3 declarations
- GroundSuccessorInjections.lean 16 declarations
- GroundSupportedEqualityChoices.lean 16 declarations
- IncidenceQuotient.lean 11 declarations
- LiteralQuotientRankBounds.lean 3 declarations
- RootedGluingQuotient.lean 17 declarations
- Separation.lean 2 declarations