module
module
IndisputableMonolith.Gravity.SevenGaps.Gap2JEhrhartSpanHostileProbe
show as:
view Lean formalization →
depends on (1)
declarations in this module (9)
-
theorem
cert4_left_null_unique -
theorem
cert3_left_null_unique -
theorem
residual4_with_const_exact -
theorem
residual4_no_const_exact -
theorem
residual3_no_const_exact -
theorem
jCost_at_zero_kappa_is_fixedKindTotals -
theorem
probe_3D_solution_reconstructs -
theorem
probe_3D_inversion_numbers -
theorem
probe_edge_cost_at_two