update blueprint

emilyriehl · Jan 20, 2025 · 252a461 · 252a461
1 parent 692f266
commit 252a461
Show file tree

Hide file tree

Showing 4 changed files with 141 additions and 128 deletions.
diff --git a/blueprint/lean_decls b/blueprint/lean_decls
@@ -22,7 +22,7 @@ CategoryTheory.nerveCounit_isIso
 CategoryTheory.nerveAdjunction
 CategoryTheory.nerveFunctor.fullyfaithful
 SSet.coherentIso
-SSet.IsoFibration
+SSet.Isofibration
 SSet.TrivialFibration
 CategoryTheory.SimplicialCategory
 CategoryTheory.categoryForgetEnrichment