存在量词 ``∃`` （ ``\ex`` ）用于表示短语“存在” 。Lean 中的形式表达式 ``∃ x : ℝ, 2 < x ∧ x < 3`` 是说存在一个介于2到3 ...
% of TeX increases, you will probably want to edit this, but % it should be fine as is for beginners. \emph{H\"artig's quantifier} is a quantifier which takes two ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する