Yamaguchi Lean 4 Library
CompletedGroupAlgebra.Basic.InClass
CompletedGroupAlgebra/Basic/InClass

CompletedGroupAlgebra.Basic.InClass

6 sections | 6 files | 57 declarations

Completed Group Algebra / Basic / Within a Class.

Index

1 files | 5 declarations | 2 Theorem | 1 Definition | 2 Abbreviation
Completed Group Algebra / Basic / Within a Class / Index.

LimitAlgebra

1 files | 9 declarations | 1 Theorem | 3 Definition | 1 Abbreviation | 4 Instance
Completed Group Algebra / Basic / Within a Class / Limit Algebra.

Projection

1 files | 14 declarations | 9 Theorem | 4 Definition | 1 Abbreviation
Completed Group Algebra / Basic / Within a Class / Projection.

Stage

1 files | 15 declarations | 11 Theorem | 2 Definition | 1 Abbreviation | 1 Instance
Completed Group Algebra / Basic / Within a Class / Stage.

System

1 files | 3 declarations | 1 Definition | 2 Instance
Completed Group Algebra / Basic / Within a Class / System.

Topology

1 files | 11 declarations | 8 Theorem | 3 Instance
Completed Group Algebra / Basic / Within a Class / Topology.