Closed Seasawher closed 3 days ago
同時に、leanの組み込みの公理についても解説したい
propext と、quotientと、Classical.choice と、reduceNat など
同時に、leanの組み込みの公理についても解説したい
propext と、quotientと、Classical.choice と、reduceNat など