Blueprint: Shannon Capacity of Graphs via Lattices

GroupTheoreticShannonCapacity

Defs.lean

Definition 1

#

Definition 2

#

Theorem 3

#

Theorem 4

#

Definition 5

#

Basic.lean

Theorem 6

#

Theorem 7

#

Theorem 8

#

Theorem 9

#

Definition 10

#

Theorem 11

#

Definition 12

#

Theorem 13

#

Definition 14

#

Definition 15

#

Theorem 16

#

Theorem 17

#

Theorem 18

#

Theorem 19

#

Theorem 20

#

Theorem 21

#

Theorem 22

#

Theorem 23

#

Theorem 24

#

Theorem 25

#

Theorem 26

#

Theorem 27

#

Theorem 28

#

FractionGraphs.lean

Definition 29

#

Theorem 30

#

Theorem 31

#

Theorem 32

#

Theorem 33

#

Theorem 34

#

Definition 35

#

Theorem 36

#

Theorem 37

#

Theorem 38

#

Theorem 39

#

Theorem 40

#

Definition 41

#

Theorem 42

#

Theorem 43

#

Theorem 44

#

Theorem 45

#

Theorem 46

#

Theorem 47

#

Theorem 48

#

Theorem 49

#

Definition 50

#

Theorem 51

#

Theorem 52

#

Theorem 53

#

Lattice.lean

Definition 54

#

Definition 55

#

Definition 56

#

Definition 57

#

Definition 58

#

Theorem 59

#

Theorem 60

#

Definition 61

#

Theorem 62

#

Theorem 63

#

Theorem 64

#

Definition 65

#

Theorem 66

#

Theorem 67

#

Theorem 68

#

Theorem 69

#

Definition 70

#

Definition 71

#

Theorem 72

#

Definition 73

#

Theorem 74

#

Theorem 75

#

Theorem 76

#

Theorem 77

#

Theorem 78

#

Theorem 79

#

Theorem 80

#

Theorem 81

#

Theorem 82

#

Definition 83

#

Definition 84

#

P0Matrix.lean

Definition 85

#

Definition 86

#

Theorem 87

#

Theorem 88

#

Definition 89

#

Definition 90

#

Theorem 91

#

Theorem 92

#

Theorem 93

#

Theorem 94

#

Theorem 95

#

Theorem 96

#

Theorem 97

#

Theorem 98

#

Theorem 99

#

Theorem 100

#

Theorem 101

#

Theorem 102

#

Theorem 103

#

Theorem 104

#

Theorem 105

#

Theorem 106

#

Theorem 107

#

Theorem 108

#

Theorem 109

#

Theorem 110

#

Theorem 111

#

Theorem 112

#

MAlpha.lean

Definition 113

#

Definition 114

#

Definition 115

#

Theorem 116

#

Theorem 117

#

Theorem 118

#

Theorem 119

#

Theorem 120

#

Theorem 121

#

Theorem 122

#

Theorem 123

#

Theorem 124

#

Theorem 125

#

Theorem 126

#

Theorem 127

#

Theorem 128

#

Theorem 129

#

Theorem 130

#

Theorem 131

#

Theorem 132

#

Theorem 133

#

Theorem 134

#

Construction.lean

Definition 135

#

Definition 136

#

Definition 137

#

Definition 138

#

Theorem 139

#

Theorem 140

#

Theorem 141

#

Theorem 142

#

Theorem 143

#

Theorem 144

#

Theorem 145

#

Theorem 146

#

Definition 147

#

Definition 148

#

Definition 149

#

Definition 150

#

Definition 151

#

Definition 152

#

Theorem 153

#

Theorem 154

#

Theorem 155

#

Definition 156

#

Theorem 157

#

Theorem 158

#

Theorem 159

#

Theorem 160

#

Theorem 161

#

Theorem 162

#

Theorem 163

#

Theorem 164

#

Theorem 165

#

Theorem 166

#

Theorem 167

#

Definition 168

#

Definition 169

#

Theorem 170

#

Theorem 171

#

Theorem 172

#

Theorem 173

#

Theorem 174

#

Theorem 175

#

Theorem 176

#

Theorem 177

#

Theorem 178

#

Theorem 179

#

Theorem 180

#

Theorem 181

#

Theorem 182

#

Theorem 183

#

Theorem 184

#

Theorem 185

#

Theorem 186

#

Theorem 187

#

Theorem 188

#

Theorem 189

#

Theorem 190

#

MainProofs.lean

Theorem 191

#

Theorem 192

#

Theorem 193

#

Theorem 194

#

Theorem 195

#

Theorem 196

#

Theorem 197

#

Theorem 198

#

Theorem 199

#

Theorem 200

#

Theorem 201

#

Definition 202

#

Theorem 203

#

Theorem 204

#

Theorem 205

#

Theorem 206

#

Theorem 207

#

Theorem 208

#

Main.lean

Theorem 209

#

Theorem 210

#

Theorem 211

#

Theorem 212

#

Theorem 213

#

Theorem 214

#

Theorem 215

#