Lean (version 4.19.0, x86_64-unknown-linux-gnu, commit 6caaee842e94, Release)
'CompactSeams.backward_forward' depends on axioms: [Quot.sound]
'CompactSeams.forward_backward' depends on axioms: [Quot.sound]
'CompactSeams.marking_preserved' depends on axioms: [Quot.sound]
'CompactSeams.pushout_universal' depends on axioms: [Quot.sound]
'CompactSeams.naturality' depends on axioms: [Quot.sound]
'CompactSeams.algebra_iff' depends on axioms: [Quot.sound]
'CompactSeams.unique_coalgebra_map_iff' depends on axioms: [Quot.sound]
'CompactSeams.quotient_scores_agree' depends on axioms: [propext, Quot.sound]
