Closed JLimperg closed 1 year ago
As discussed here: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Bvars
As discussed here: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Bvars