Haftungsausschluß.out KontaktUnknown {[0] [0] [0]}diese Dinge liegen außhalb unserer Verantwortung
Notation "x * y" := (prod x y)
prod : Type -> Type -> Type
prod is template universe polymorphic
Arguments prod (A B)%_type_scope
Expands to: Inductive Corelib.Init.Datatypes.prod
Declared in library Corelib.Init.Datatypes, line 248, characters 10-14
[ Seitenstruktur0.96Drucken
]
