OAI/SetTheory/PartitionPrinciple/Forcing/NamePresentationEquivalences.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PartitionPilot.SetRealization.Presentation.intoSet line 11
  2. theorem OAI.PartitionPilot.SetRealization.Presentation.encode_intoSet line 14
  3. theorem OAI.PartitionPilot.Forcing.Name.rename_val_of_encode line 25
  4. def OAI.PartitionPilot.Forcing.Name.presentationEquiv line 53
  5. theorem OAI.PartitionPilot.Forcing.Name.eval_presentationEquiv line 59
  6. theorem OAI.PartitionPilot.Forcing.PosetAction.act_presentationEquiv line 71
  7. theorem OAI.PartitionPilot.Forcing.PosetAction.stabilizer_presentationEquiv line 78
  8. theorem OAI.PartitionPilot.Forcing.HereditarilySymmetric.presentationEquiv line 94
  9. theorem OAI.PartitionPilot.Forcing.HereditarilySymmetric.presentationEquiv_iff line 106