\(p\)-adic Representation Theory (PadicRep)
Our goal is to formalize basics of \(p\)-adic representation theory.
Currently, we focus on \(\mathbb {C}\)-representations of \(p\)-adic groups.
Our goal is to formalize basics of \(p\)-adic representation theory.
Currently, we focus on \(\mathbb {C}\)-representations of \(p\)-adic groups.