OAI/Combinatorics/TriangleRemoval/Process/CardBiUnion.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.EdgeMatching.card_biUnion line 20
2. lemma OAI.SharpTerminalLeave.disjoint_valid_edge_ne line 29
3. theorem OAI.SharpTerminalLeave.canonical_collision_pair_sum line 36
4. lemma OAI.SharpTerminalLeave.witness_total_weight_bound line 64
5. theorem OAI.SharpTerminalLeave.averaged_disjoint_grid_collision line 75