'Book21.rpow_flow' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book21.conjugacy' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book21.immune_conj_market' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book21.rpow_flow' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book21.conjugacy' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book21.immune_conj_market' depends on axioms: [propext, Classical.choice, Quot.sound]