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. *)
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 ist noch experimentell.
