'ConnectedSetCounting.conn_erase' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.rooted_erase' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.W_step' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.W_le' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.rooted_of_connected' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.connected_gf_le' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.one_add_inv_pow_le' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.connected_count_le' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.connected_count_real' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.connectedSetCount_of_bounded' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.countingFromDegree_of_exists' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.connectedSetCount_fails_at_zero' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.point_gf_le' depends on axioms: [propext, choice, Quot.sound]
'ConnectedSetCounting.point_kp_sum_le' depends on axioms: [propext, choice, Quot.sound]
