Existing Class category. (* Toplevel input, characters 0-24: Anomaly: Mismatched instance and context when building universe substitution.
Please report. *)
Record category' :=
{ ob' : Type;
hom' : ob' -> ob' -> Type }.
Existing Class category'. (* Toplevel input, characters 0-24: Anomaly: Mismatched instance and context when building universe substitution.
Please report. *)
Messung V0.5
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
