OAI/SetTheory/PartitionPrinciple/Forcing/GroundBinaryRowNames.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowName line 13
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.entry_binaryRowName line 25
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.mem_binaryRowName_code line 44
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.mem_eval_binaryRowName line 73
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.eval_binaryRowName line 91