import Omega.Main

/-! Every project theorem's transitive axiom dependencies. -/

#print axioms Omega.weighted_mean
#print axioms Omega.displacement_conjugacy
#print axioms Omega.affine_iterate
#print axioms Omega.homothety_comp
#print axioms Omega.homothety_one
#print axioms Omega.observation_commutes
#print axioms Omega.observation_iterate
#print axioms Omega.real_time_semigroup
#print axioms Omega.arbitrary_intercept_defect
#print axioms Omega.grid_interface
#print axioms Omega.phi_pos
#print axioms Omega.phi_sq
#print axioms Omega.phi_bounds
#print axioms Omega.denominator_pos
#print axioms Omega.lam_pos
#print axioms Omega.lam_lt_one
#print axioms Omega.shares_sum
#print axioms Omega.mu_eq_one_sub
#print axioms Omega.lam_bounds
#print axioms Omega.q_lt_lam
#print axioms Omega.lam_lt_q_plus
#print axioms Omega.delta_pos
#print axioms Omega.delta_lt_half_pi
#print axioms Omega.s_pos
#print axioms Omega.c_pos
#print axioms Omega.sc_identity
#print axioms Omega.one_arcsecond
#print axioms Omega.seeds_distinct
#print axioms Omega.marks_collinear
#print axioms Omega.marks_affine_dimension
#print axioms Omega.seed_linear_combination
#print axioms Omega.centered_span
#print axioms Omega.center_relative_rank
#print axioms Omega.center_adjoined_affine_dimension
#print axioms Omega.moment_matrix
#print axioms Omega.coordinates_rank
#print axioms Omega.gram_rank
#print axioms Omega.gram_entries
#print axioms Omega.embedded_center_relative_rank
#print axioms Omega.step_threshold
#print axioms Omega.extinction_threshold
#print axioms Omega.threshold_values
#print axioms Omega.extinction_by_ten
#print axioms Omega.deepest_seeds
#print axioms Omega.all_twenty_three_steps
#print axioms Omega.gcd_constants
#print axioms Omega.inverse_identity
#print axioms Omega.remainder_halved
#print axioms Omega.first_remainder_reconstruction
#print axioms Omega.first_remainder_injective
#print axioms Omega.first_remainder_injective_domain
#print axioms Omega.finite_gap_certificate
#print axioms Omega.certified_gap
#print axioms Omega.minimum_gap_attained
#print axioms Omega.finite_certificate_inequality
#print axioms Omega.S_pos
#print axioms Omega.Q_pos
#print axioms Omega.Q_lt_S
#print axioms Omega.division_identity
#print axioms Omega.remainder_bound
#print axioms Omega.step_zero
#print axioms Omega.step_lt
#print axioms Omega.step_le
#print axioms Omega.forward_invariant
#print axioms Omega.step_monotone
#print axioms Omega.q_in_interval
#print axioms Omega.lam_in_interval
#print axioms Omega.floor_q
#print axioms Omega.no_interior_boundary
#print axioms Omega.floor_agreement_of_interval
#print axioms Omega.exact_parameter_interval
#print axioms Omega.certified_floor_equality
#print axioms Omega.trajectory_equality
#print axioms Omega.truncation_le
#print axioms Omega.truncation_succ
#print axioms Omega.truncation_monotone
#print axioms Omega.truncation_seven
#print axioms Omega.truncation_eight
#print axioms Omega.precision_threshold
#print axioms Omega.arc_length
#print axioms Omega.semicircle_retained
#print axioms Omega.semicircle_in_outline
#print axioms Omega.major_arc_no_retracing
#print axioms Omega.upper_seed_endpoint
#print axioms Omega.lower_seed_endpoint
#print axioms Omega.mark_re
#print axioms Omega.mark_im
#print axioms Omega.bilateral_reflection
#print axioms Omega.mark_distance
#print axioms Omega.inner_extension_length
#print axioms Omega.outer_extension_length
#print axioms Omega.negative_outer_extension_length
#print axioms Omega.total_extension_length
#print axioms Omega.chord_length
#print axioms Omega.outer_segment_retained
#print axioms Omega.G_eq
#print axioms Omega.C_eq
#print axioms Omega.W_eq
#print axioms Omega.geometric_provenance
#print axioms Omega.outline_length
#print axioms Omega.reference_not_outline
#print axioms Omega.marked_coordinate_uniqueness
#print axioms Omega.heights_strictly_ordered
#print axioms Omega.sequential_extensions
#print axioms Omega.scalar_roundtrip
#print axioms Omega.scalar_bounds
#print axioms Omega.scalar_canonical
#print axioms Omega.rational_residual
#print axioms Omega.real_residual
#print axioms Omega.positive_residual_difference
#print axioms Omega.grid_finite_interface
#print axioms Omega.grid_trajectory
#print axioms Omega.repeated_rounding_counterexample
#print axioms Omega.ledger_interface
#print axioms Omega.external_factorization
#print axioms Omega.predecessor_inequalities
#print axioms Omega.point_reconstruction
#print axioms Omega.Ledger.euclidean_identity
#print axioms Omega.Ledger.remainder_bounds
#print axioms Omega.Ledger.one_step_inverse
#print axioms Omega.Ledger.roundtrip
#print axioms Omega.Ledger.encode_length
#print axioms Omega.Ledger.generated_admissible
#print axioms Omega.Ledger.canonical_division
#print axioms Omega.Ledger.admissible_roundtrip
#print axioms Omega.Ledger.encoding_injective
#print axioms Omega.Ledger.admissibility_iff
#print axioms Omega.Ledger.weighted_identity
#print axioms Omega.Ledger.encoded_weighted_identity
#print axioms Omega.Ledger.trajectory_reconstruction
#print axioms Omega.central_provenance_theorem
#print axioms Omega.mark_dot
#print axioms Omega.mark_radius
#print axioms Omega.mark_angle_cosine
#print axioms Omega.seed_angle
#print axioms Omega.triangle_area
#print axioms Omega.placed_distance
#print axioms Omega.placed_arc_derivative
#print axioms Omega.placed_G
#print axioms Omega.placed_C
#print axioms Omega.provenance_all_placements
#print axioms Omega.mark_scale
#print axioms Omega.circle_scale
#print axioms Omega.outline_scale
#print axioms Omega.placed_homothety
#print axioms Omega.readout_scale
#print axioms Omega.curve_reconstruction