ProCGroups/ProC/Category.lean
1import ProCGroups.ProC.Category.Basic
2import ProCGroups.ProC.Category.Pullbacks
3import ProCGroups.ProC.Category.Pushouts
5/-
6PUBLIC_PAGE_SNAPSHOT
7generated_at: 2026-05-27T09:47:29+09:00
8lean_source: lean4/ProCGroups/ProC/Category.lean
9translation_root: data/translation
10purpose: identifies the local data snapshot used to build pages/
11placement: after imports, never before imports
12-/
13/-!
14# ProCGroups.ProC.Category
16Wrapper for the `ProCGroups.ProC.Category` folder.
17-/