OAI/GroupTheory/ArithmeticGerms/Basic.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Finite-index virtual isomorphism graphs.

  1. structure OAI.ArithmeticGerms.VirtualGraph line 11
  2. theorem OAI.ArithmeticGerms.VirtualGraph.ext line 25
  3. abbrev OAI.ArithmeticGerms.VirtualGraph.domain line 31
  4. abbrev OAI.ArithmeticGerms.VirtualGraph.codomain line 33