'ColumnChessboard.signed_sum' depends on axioms: [propext, Classical.choice, Quot.sound]
'ColumnChessboard.unsigned_sum' depends on axioms: [propext, Classical.choice, Quot.sound]
'ColumnChessboard.prod_expand' depends on axioms: [propext, Classical.choice, Quot.sound]
'ColumnChessboard.binomial_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
'ColumnChessboard.exp_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
rc=0
