Commit 2023-08-15 13:30 280a9f50
View on Github →chore: golf some proofs introduced in #6360 (#6405) Notably, getting rid of some injectivity restrictions makes some later proofs simpler.
chore: golf some proofs introduced in #6360 (#6405) Notably, getting rid of some injectivity restrictions makes some later proofs simpler.