remove some stuff

dagurtomas · Aug 12, 2024 · 5e3bf32 · 5e3bf32
1 parent c7bf72c
commit 5e3bf32
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 61 deletions.
diff --git a/LeanCondensed/Mathlib/CategoryTheory/Adjunction/KanExtension.lean b/LeanCondensed/Mathlib/CategoryTheory/Adjunction/KanExtension.lean
diff --git a/LeanCondensed/Mathlib/CategoryTheory/Sites/ConstantSheaf.lean b/LeanCondensed/Mathlib/CategoryTheory/Sites/ConstantSheaf.lean