'GasExpansion.expand' depends on axioms: [propext, Classical.choice, Quot.sound]
'GasExpansion.prod_over_components' depends on axioms: [propext, Classical.choice, Quot.sound]
'GasExpansion.polymer_representation' depends on axioms: [propext, Classical.choice, Quot.sound]
'GasExpansion.partition_of_unity' depends on axioms: [propext, Classical.choice, Quot.sound]
'GasExpansion.weight_split' depends on axioms: [propext, Classical.choice, Quot.sound]
