2021-04-30から1日間の記事一覧
現代数学概説Ⅰ 1章 $1 例題4 以下b)を示せ。 b) M ⊆ N <-> M = M ∩ N <-> N = M ∪ N. ------------------------------------------------------------------ Theorem math_1_1_exp_4b_ab: forall (M N:Ensemble M), M ⊆ N <-> M = M ∩ N.Proof. intros M N. …
現代数学概説Ⅰ 1章 $1 例題4 以下b)を示せ。 b) M ⊆ N <-> M = M ∩ N <-> N = M ∪ N. ------------------------------------------------------------------ Theorem math_1_1_exp_4b_ab: forall (M N:Ensemble M), M ⊆ N <-> M = M ∩ N.Proof. intros M N. …
