IndisputableMonolith.RecogGeom.FiniteResolution

declarations in this module (16)

• def HasFiniteLocalResolution L35
• def HasFiniteResolution L39
• theorem finite_resolution_event_in_finite L47
• theorem finite_resolution_mono L54
• theorem finite_resolution_cell_finite_events L63
• def IsLocallyDiscrete L74
• theorem locally_discrete_finite_classes L79
• theorem no_injection_on_infinite_finite L91
• theorem finite_resolution_not_injective L108
• def eventCount L118
• theorem eventCount_pos L122
• def eventCountFinite L133
• theorem eventCountFinite_pos L137
• theorem finite_resolution_pos L143
• theorem physical_interpretation_finite_resolution L159
• def finite_resolution_status L167