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
[ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet)
]
