'PullbackOrbit.orbit_tendsto' depends on axioms: [propext, Classical.choice, Quot.sound]
'PullbackOrbit.orbit_rate' depends on axioms: [propext, Classical.choice, Quot.sound]
'PullbackOrbit.limit_independent' depends on axioms: [propext, Classical.choice, Quot.sound]
'PullbackOrbit.pushforward_tendsto' depends on axioms: [propext, Classical.choice, Quot.sound]
'PullbackOrbit.compact_unique_cluster' depends on axioms: [propext, Classical.choice, Quot.sound]
