Mathlib Map

Theorems · Definition · Lie groups

TopRep.V

{k : Type u} →
  {G : Type v} → [inst : Ring k] → [inst_1 : TopologicalSpace k] → [inst_2 : Monoid G] → TopRep k G → Type w

the underlying type of an object in TopRep k G

Defined in
Mathlib.RepresentationTheory.Continuous.TopRep
Cited by
36 results in Mathlib
Foundations
Depth 2 from the axioms · uses no axioms
Assumes
RingTopologicalSpaceMonoid
Mathlib docsSourceLoogleLeanSearch

Around this declaration

Dashed lines are statement dependencies; solid lines are citations in proofs.

TopRep.ρ · cited by 34TopRep.ρTopRep.Hom.hom · cited by 33Hom.homTopRep.hom_ext · cited by 9TopRep.hom_extTopRep.invariants · cited by 5TopRep.invariantsTopRep.invariantsFunctor · cited by 3TopRep.invariantsFunctorTopRep.d_succ · cited by 2TopRep.d_succTopRep.Hom.ext · cited by 2Hom.extTopRep.Hom.hom' · cited by 2Hom.hom'ContinuousCohomology.resolutionMap_succ · cited by 2ContinuousCohomology.reso…TopRep.homogeneousCochains.d_apply · cited by 2homogeneousCochains.d_app…TopRep.d_comp_d · cited by 1TopRep.d_comp_dTopRep.d_zero · cited by 1TopRep.d_zeroTopRep.hom_ofHom · cited by 1TopRep.hom_ofHomTopRep.hom_sub · cited by 1TopRep.hom_subContinuousCohomology.resolutionMap_comp · cited by 1ContinuousCohomology.reso…TopologicalSpace · cited by 24529TopologicalSpaceRing · cited by 7463RingMonoid · cited by 3887MonoidTopRep · cited by 54TopRepTopRep.VCITED BYCITES

Cites4

Mathlib declarations this one mentions in its statement or cites explicitly in its proof. Plumbing is filtered out.

  • TopologicalSpacestatement and proof · cited by 24,529
  • Ringstatement and proof · cited by 7,463
  • Monoidstatement and proof · cited by 3,887
  • TopRepstatement and proof · cited by 54

Cited by49

Results whose statement or proof uses this declaration.