Commit 2022-11-29 19:28 68d57519
View on Github →chore: bump to nightly-2022-11-29 (#785)
injection and congr both became more powerful in Lean 4 core, so some proofs simplify.
chore: bump to nightly-2022-11-29 (#785)
injection and congr both became more powerful in Lean 4 core, so some proofs simplify.