|
Check prod: Prop -> Prop -> Prop.
(* (fun A B : Prop => (A * B)%type):Prop -> Prop -> Prop
: Prop -> Prop -> Prop *)
¤ Dauer der Verarbeitung: 0.4 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
