OAI/LinearAlgebra/MatrixFields/Certificates/
9866 declarations, 0 contain sorry, 0 declared as axioms; 74 files
Files
- CertificatesReplay.lean 118 declarations
- Four0_1_7.lean 82 declarations
- Four0_3_5.lean 368 declarations
- Four0_4_4.lean 416 declarations
- Four0_5_3.lean 161 declarations
- Four0_7_1.lean 99 declarations
- Four0_8_0.lean 81 declarations
- Four1_0_7.lean 99 declarations
- Four1_7_0.lean 99 declarations
- Four2_0_6.lean 146 declarations
- Four2_6_0.lean 146 declarations
- Four3_0_5.lean 161 declarations
- Four3_5_0.lean 161 declarations
- Four4_0_4.lean 191 declarations
- Four4_4_0.lean 191 declarations
- Four5_0_3.lean 161 declarations
- Four5_3_0.lean 161 declarations
- Four6_0_2.lean 146 declarations
- Four6_2_0.lean 146 declarations
- Four7_0_1.lean 99 declarations
- Four7_1_0.lean 99 declarations
- Four8_0_0.lean 81 declarations
- InitialProbabilities.lean 37 declarations
- LittleB1_3_4.lean 98 declarations
- LittleB1_4_3.lean 25 declarations
- LittleB1_5_2.lean 25 declarations
- LittleB2_3_3.lean 25 declarations
- LittleB2_5_1.lean 25 declarations
- NativeInterior.lean 192 declarations
- NativeSharp.lean 26 declarations
- SparseContraction.lean 303 declarations
- SplitA1_1_14.lean 18 declarations
- SplitA1_3_12.lean 397 declarations
- SplitA1_4_11.lean 30 declarations
- SplitA1_7_8.lean 42 declarations
- SplitA2_2_12.lean 28 declarations
- SplitA2_3_11.lean 34 declarations
- SplitA2_4_10.lean 40 declarations
- SplitA2_5_9.lean 46 declarations
- SplitA2_6_8.lean 52 declarations
- SplitA2_7_7.lean 54 declarations
- SplitA3_3_10.lean 42 declarations
- SplitA3_4_9.lean 50 declarations
- SplitA3_5_8.lean 58 declarations
- SplitA3_6_7.lean 62 declarations
- SplitA4_5_7.lean 66 declarations
- SplitA4_6_6.lean 68 declarations
- SplitB1_1_6.lean 389 declarations
- SplitB1_3_4.lean 323 declarations
- SplitB2_3_3.lean 303 declarations
- SplitB5_1_2.lean 321 declarations
- SupportedContraction.lean 64 declarations
- Terminal1_1_6.lean 219 declarations
- Terminal1_2_5.lean 76 declarations
- Terminal1_3_4.lean 88 declarations
- Terminal1_4_3.lean 88 declarations
- Terminal1_5_2.lean 80 declarations
- Terminal1_6_1.lean 83 declarations
- Terminal2_1_5.lean 127 declarations
- Terminal2_2_4.lean 193 declarations
- Terminal2_3_3.lean 144 declarations
- Terminal2_4_2.lean 193 declarations
- Terminal2_5_1.lean 80 declarations
- Terminal3_1_4.lean 139 declarations
- Terminal3_2_3.lean 144 declarations
- Terminal3_3_2.lean 199 declarations
- Terminal3_4_1.lean 139 declarations
- Terminal4_1_3.lean 139 declarations
- Terminal4_2_2.lean 193 declarations
- Terminal4_3_1.lean 139 declarations
- Terminal5_1_2.lean 80 declarations
- Terminal5_2_1.lean 127 declarations
- Weights2.lean 225 declarations
- Zero0_1_7.lean 316 declarations