Skip to content

fix(lean,#16048): Grothendieck.lean umbrella -- ajouter 7 imports FR manquants #16068

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
myia-ai-01 merged 3 commits into from
Sep 14, 2026
Merged

fix(lean,#16048): Grothendieck.lean umbrella -- ajouter 7 imports FR manquants #16068

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
74b01f1
fix(lean,#16048): Grothendieck.lean umbrella -- ajouter 7 imports FR …
jsboige Sep 13, 2026
b9d5802
Fix: Grothendieck.lean umbrella — réordonner Spaces* après SieveOps
jsboige Sep 14, 2026
d30ce3e
Fix: Grothendieck.lean umbrella -- deplacer Spaces* apres Sites* (4e …
Sep 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions MyIA.AI.Notebooks/SymbolicAI/Lean/grothendieck_lean/Grothendieck.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,7 @@ import Grothendieck.KanExtensions
import Grothendieck.LawvereTierney
import Grothendieck.LeftExact
import Grothendieck.Limits
import Grothendieck.LocalSurjectivitySpectrum
import Grothendieck.MathlibMap
import Grothendieck.MayerVietorisSquare
import Grothendieck.Monads
Expand Down Expand Up @@ -74,9 +75,15 @@ import Grothendieck.SieveOps
import Grothendieck.SitePoints
import Grothendieck.SitesComparison
import Grothendieck.SitesComparison_en
import Grothendieck.Spaces
import Grothendieck.SpacesMathlib
import Grothendieck.SpacesSubcanonical
import Grothendieck.StalkCharacterization
import Grothendieck.StalkCharacterization_en
import Grothendieck.StalkGluing
import Grothendieck.StalkPoints
import Grothendieck.StalkSeparated
import Grothendieck.Stalks
import Grothendieck.Subcanonical
import Grothendieck.TopologyDictionary
import Grothendieck.TopologyDictionary_en
Expand Down
Loading