Skip to content

Merge branch 'nightly-with-mathlib' of https://github.com/leanprover/…

f5b8e42
Select commit
Loading
Failed to load commit list.
Merged

fix: deprecation warning location with field notation #10826

Merge branch 'nightly-with-mathlib' of https://github.com/leanprover/…
f5b8e42
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar