Skip to content

fix(lean,#16154): umbrella Grothendieck FR-only + organe anti-derive - #16310

Closed
jsboige wants to merge 1 commit into
mainfrom
fix/16154-grothendieck-umbrella
Closed

fix(lean,#16154): umbrella Grothendieck FR-only + organe anti-derive#16310
jsboige wants to merge 1 commit into
mainfrom
fix/16154-grothendieck-umbrella

fix(lean,#16154): umbrella Grothendieck FR-only + organe anti-derive

23dbc77
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar