Zulip Chat Archive
Stream: PR reviews
Topic: !4#4010 Combinatorics.SimpleGraph.Finsubgraph
Ruben Van de Velde (May 17 2023 at 11:46):
This was approved, but I merge-conflicted myself in Mathlib.lean. Could someone put it back on the queue?
Last updated: May 02 2025 at 03:31 UTC