Beschreibung
Eine Abbildungsklassengruppe wird groß genannt, wenn es sich um eine Abbildungsklassengruppe auf einer Mannigfaltigkeit von unendlichem Typ (d.h. nicht kompakt oder unendliche viele Punktierungen) handelt.
Definition
Eigenschaften
Eigenschaft