Skip to content

fix deprecation warnings from Mathlib bump

c31fc0b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

fix deprecation warnings from Mathlib bump #1

fix deprecation warnings from Mathlib bump
c31fc0b
Select commit
Loading
Failed to load commit list.

Annotations

1 error and 1 warning
build
failed Mar 18, 2026 in 5h 54m 55s