Skip to content

Bump mathlib to v4.28.0#265

Draft
YaelDillies wants to merge 1 commit intomasterfrom
bump_v4.28.0
Draft

Bump mathlib to v4.28.0#265
YaelDillies wants to merge 1 commit intomasterfrom
bump_v4.28.0

Commits

Commits on Mar 20, 2026