rahmenlose Ansicht.out DruckansichtUnknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
1 goal
X : tele
α, β, γ1, γ2 : X -> Prop
============================
accessor α β γ1 -> accessor α β (λ.. x : X, γ1 x \/ γ2 x)
[ Verzeichnis aufwärts0.65unsichere Verbindung
]
