OAI/SetTheory/PartitionPrinciple/Forcing/GroundRowTermSetNames.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.rowPositionSequence_decode line 15
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowTupleTerms_hs line 48
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowTupleTerms_action line 90
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowTermSetName_exists line 155
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowLiftedTermFamilies_hs line 221
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowTupleCode_action line 256
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryLiftedRowTupleFamily_action line 304