theorem
proved
c1_falsifier
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.Foundation.OptionAFalsifierRegistry on GitHub at line 169.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
used by
formal source
166 | .c8MillerSpan => .nonQSpaceSpanCollapse
167 | .c9RegulatoryCeiling => .moduleExceedsCeiling70
168
169theorem c1_falsifier :
170 falsifierClass .c1CognitiveTensor = .eegDecoder := rfl
171
172theorem c2_falsifier :
173 falsifierClass .c2PlanetStrata = .seismicAtmosphericRatio := rfl
174
175theorem c3_falsifier :
176 falsifierClass .c3OncologyTensor = .tcgaClinicalResponse := rfl
177
178theorem c4_falsifier :
179 falsifierClass .c4QuantumMolecularDepth = .quantumCircuitDepth := rfl
180
181theorem c5_falsifier :
182 falsifierClass .c5AttentionTensor = .attentionBlinkPlateaus := rfl
183
184theorem c6_falsifier :
185 falsifierClass .c6EriksonReverse = .adniDementiaProgression := rfl
186
187theorem c7_falsifier :
188 falsifierClass .c7UniversalResponse = .crossFieldEquilibriumResponse := rfl
189
190theorem c8_falsifier :
191 falsifierClass .c8MillerSpan = .workingMemorySpanReduction := rfl
192
193theorem c9_falsifier :
194 falsifierClass .c9RegulatoryCeiling = .encodeTcgaRegulatoryModule := rfl
195
196theorem c3_observable :
197 predictedObservable .c3OncologyTensor = .multiplicativeTherapyResponse := rfl
198
199theorem c5_failure :