Skip to content

Sync upstream mathlib4 (2026-08-05, +12 commits) - #95

Open
winstonyin-ax wants to merge 13 commits into
masterfrom
sync/upstream
Open

Sync upstream mathlib4 (2026-08-05, +12 commits)#95
winstonyin-ax wants to merge 13 commits into
masterfrom
sync/upstream

Merge upstream/master@060b244276 (2026-08-05)

9132e8d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar