intuitionistische Existenz
1.
Definition
\(\exists_X A(x)\)
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 18:38