IndisputableMonolith.Masses.ZMapForcing

declarations in this module (10)

• theorem smallest_positive_even_integerization_scale L29
• theorem canonical_color_offset L35
• theorem anchor_charge_map_values L39
• theorem canonical_tuple_forced_from_anchor_outputs L48
• theorem complete_ordered_min_budget_forces_unit_coeffs L73
• theorem complete_ordered_minimizer_forces_unit_coeffs L85
• theorem zmap_canonical_tuple_forced_from_first_principles L94
• theorem zmap_canonical_tuple_satisfies_first_principles L107
• def first_principles_zmap_tuple L115
• theorem canonical_tuple_iff_first_principles L121