Back to pull request #2276

fix: respect type reducibility when generating injectivity lemmas #12783

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	2s
Linux release	7m 13s
Build matrix complete	2s
release-nightly	0s
release	0s
	7m 17s