Axioms:
foo : nat
Axioms:
foo : nat
Axioms:
bli : Type
Axioms:
bli : Type
Axioms:
seq relies on definitional UIP.
Axioms:
M.foo : False
Closed under the global context
Closed under the global context
Closed under the global context
Closed under the global context
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]
