'ScanpyAggregate.bounded_wordSum_exact' depends on axioms: [propext, Quot.sound]
'ScanpyAggregate.bounded_prefix_no_wrap' depends on axioms: [propext, Quot.sound]
'ScanpyAggregate.accepted_sum_bound' depends on axioms: [propext, Quot.sound]
'ScanpyAggregate.check_sound' depends on axioms: [propext]
'ScanpyAggregate.filtered_sum_eq' depends on axioms: [propext]
'ScanpyAggregate.accepted_group_identity' depends on axioms: [propext, Quot.sound]
'ScanpyAggregate.accepted_source_identity' depends on axioms: [propext, Quot.sound]
'ScanpyAggregate.accepted_feature_identity' depends on axioms: [propext]
'ScanpyAggregate.accepted_group_coverage' depends on axioms: [propext, Quot.sound]