pith. machine review for the scientific record. sign in
def definition def or abbrev

all

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

  73def all : List KinshipSystem :=

proof body

Definition body.

  74  [ ⟨false, false, false⟩
  75  , ⟨true,  false, false⟩
  76  , ⟨false, true,  false⟩
  77  , ⟨false, false, true⟩
  78  , ⟨true,  true,  false⟩
  79  , ⟨true,  false, true⟩
  80  , ⟨false, true,  true⟩
  81  , ⟨true,  true,  true⟩ ]
  82

used by (40)

From the project-wide theorem graph. These declarations reference this one in their body.

… and 10 more

depends on (5)

Lean names referenced from this declaration's body.