Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
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.10 Sekunden, vorverarbeitet 2026-09-29]
