Skip to content

Mathlib extraction staging: nested Fubini and Beck-Chevalley#14

Merged
fraware merged 1 commit into
mainfrom
mathlib/extract-fubini-kan
Jun 16, 2026
Merged

Mathlib extraction staging: nested Fubini and Beck-Chevalley#14
fraware merged 1 commit into
mainfrom
mathlib/extract-fubini-kan

Add Fubini and Kan/BC Mathlib extraction staging packages.

cd58728
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar