Untersuchungsergebnis.out Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
id : ∀ {A : Type}, A -> A
id is not universe polymorphic
Arguments id {A}%_type_scope a
id is transparent
Expands to: Constant Utf8Impargs.id
Declared in library Utf8Impargs, line 6, characters 11-13
[ zur Elbe Produktseite wechseln0.97Quellennavigators
]
