Class C (n: nat) := T{x:True}.
Generalizable All Variables.
Fail #[export] Instance i : C n.
#[export] Instance i : `(C n).
Proof. repeat constructor. Defined.
| Messung V0.5 in Prozent |
|---|
| | | |
[zur Elbe Produktseite wechseln0.11QuellennavigatorsAnalyse erneut starten2026-06-04]
