Skip to content

chore: bump mathlib to 51d2df2: chore: remove notations `^*` and `^+`…

33c4195
Select commit
Loading
Failed to load commit list.
Open

chore: Bump mathlib dependency to 51d2df2 #598

chore: bump mathlib to 51d2df2: chore: remove notations `^*` and `^+`…
33c4195
Select commit
Loading
Failed to load commit list.