OAI/Probability/BenjaminiSchramm/Main.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Percolation.BenjaminiSchramm.full_main line 9

    Distinct definitions of this name: ComparatorChallenges/BenjaminiSchramm.lean:217 (different declaration text). Qualify references as OAI.Percolation.BenjaminiSchramm.full_main@path.

  2. theorem OAI.Percolation.BenjaminiSchramm.critical_laws line 14

    Distinct definitions of this name: ComparatorChallenges/BenjaminiSchramm.lean:223 (different declaration text). Qualify references as OAI.Percolation.BenjaminiSchramm.critical_laws@path.

  3. theorem OAI.Percolation.BenjaminiSchramm.full_main_and_critical_laws line 19
  4. theorem OAI.Percolation.BenjaminiSchramm.critical_bounded_unconditional line 24