FormalConjectures/WrittenOnTheWallII/
286 declarations, 55 contain sorry, 0 declared as axioms; 55 files
Files
- 160.lean 5 declarations
- GraphConjecture1.lean 1 declarations
- GraphConjecture100.lean 3 declarations
- GraphConjecture101.lean 7 declarations
- GraphConjecture103.lean 7 declarations
- GraphConjecture109.lean 3 declarations
- GraphConjecture13.lean 3 declarations
- GraphConjecture133.lean 3 declarations
- GraphConjecture141.lean 3 declarations
- GraphConjecture142.lean 3 declarations
- GraphConjecture143.lean 3 declarations
- GraphConjecture144.lean 3 declarations
- GraphConjecture145.lean 8 declarations
- GraphConjecture146.lean 7 declarations
- GraphConjecture16.lean 3 declarations
- GraphConjecture17.lean 3 declarations
- GraphConjecture172.lean 3 declarations
- GraphConjecture176.lean 2 declarations
- GraphConjecture18.lean 5 declarations
- GraphConjecture181.lean 2 declarations
- GraphConjecture19.lean 1 declarations
- GraphConjecture194.lean 3 declarations
- GraphConjecture198a.lean 3 declarations
- GraphConjecture2.lean 1 declarations
- GraphConjecture20.lean 3 declarations
- GraphConjecture200.lean 3 declarations
- GraphConjecture217.lean 4 declarations
- GraphConjecture23.lean 3 declarations
- GraphConjecture291.lean 10 declarations
- GraphConjecture3.lean 3 declarations
- GraphConjecture309.lean 5 declarations
- GraphConjecture31.lean 3 declarations
- GraphConjecture314.lean 4 declarations
- GraphConjecture315.lean 8 declarations
- GraphConjecture316.lean 3 declarations
- GraphConjecture32.lean 3 declarations
- GraphConjecture322.lean 3 declarations
- GraphConjecture327.lean 3 declarations
- GraphConjecture33.lean 3 declarations
- GraphConjecture34.lean 3 declarations
- GraphConjecture36.lean 9 declarations
- GraphConjecture4.lean 1 declarations
- GraphConjecture40.lean 1 declarations
- GraphConjecture430a.lean 4 declarations
- GraphConjecture438b.lean 1 declarations
- GraphConjecture5.lean 1 declarations
- GraphConjecture58.lean 1 declarations
- GraphConjecture59.lean 3 declarations
- GraphConjecture6.lean 1 declarations
- GraphConjecture61.lean 3 declarations
- GraphConjecture63.lean 2 declarations
- GraphConjecture65.lean 15 declarations
- GraphConjecture7.lean 2 declarations
- GraphConjecture85.lean 2 declarations
- Test.lean 91 declarations