Closed hargoniX closed 2 months ago
Wait for https://github.com/leanprover/lean4/pull/4550 so that I can skip proving this theorem.
Wait for https://github.com/leanprover/lean4/pull/4550 so that I can skip proving this theorem.