Will `rw_search` be merged by December 1st?
0
Ṁ50resolved Nov 2
Resolved
YES1H
6H
1D
1W
1M
ALL
Resoves YES if https://github.com/leanprover-community/mathlib4/pull/6120 has been merged/merged by bors by the close time.
This question is managed and resolved by Manifold.
Market context
Get 
1,000 to start trading!
1,000