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: Dec 20 2023 at 11:08 UTC