module
module
IndisputableMonolith.Foundation.HierarchyRealizationObstruction
show as:
view Lean formalization →
used by (1)
depends on (1)
declarations in this module (12)
-
theorem
no_injective_real_to_bool -
def
boolFramework -
def
baseState -
def
orbitLevels -
theorem
orbitLevels_zero -
theorem
orbitLevels_one -
theorem
orbitLevels_two -
theorem
orbit_not_ratio_self_similar -
theorem
orbit_not_additive_posting -
theorem
closedFramework_does_not_force_ratio_self_similar -
theorem
closedFramework_does_not_force_additive_posting -
theorem
closedFramework_does_not_force_realizedHierarchy_fields