'SwarmSimulatorV3.orbit_nrm_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'SwarmSimulatorV3.paper_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
'SwarmSimulatorV3.step_lipschitz_ball' depends on axioms: [propext, Classical.choice, Quot.sound]
'SwarmSimulatorV3.fixed_point_zero' depends on axioms: [propext, Classical.choice, Quot.sound]
'SwarmSimulatorV3.two_clusters' depends on axioms: [propext, Classical.choice, Quot.sound]
'SwarmSimulatorV3.no_global_lipschitz' depends on axioms: [propext, Classical.choice, Quot.sound]
'SwarmSimulatorV3.diffuse_unbounded' depends on axioms: [propext, Classical.choice, Quot.sound]
'SwarmSimulatorV3.printed_bound_fails' depends on axioms: [propext, Classical.choice, Quot.sound]
'SwarmSimulatorV3.default_radius' depends on axioms: [propext, Classical.choice, Quot.sound]