CompletedGroupAlgebra/ProfiniteModules/FiniteGroupAlgebra/Augmentation.lean
1import CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Augmentation.Abstract
2import CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Augmentation.Completed
4/-
5PUBLIC_PAGE_SNAPSHOT
6generated_at: 2026-05-27T09:47:29+09:00
7lean_source: lean4/CompletedGroupAlgebra/ProfiniteModules/FiniteGroupAlgebra/Augmentation.lean
8translation_root: data/translation
9purpose: identifies the local data snapshot used to build pages/
10placement: after imports, never before imports
11-/
12/-!
13# CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Augmentation
15Wrapper for the `CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Augmentation` folder.
16-/