Require Import Logic.Classical_Prop. Require Import Logic.IndefiniteDescription. Require Import Logic.ProofIrrelevance. \section{定義} この章では, 関係を集合論的に定義した場合の定義, およびその定義で諸公理が成立する ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback