1 search result for "tag:"keyword:well-orders""

Showing 1 - 1
  1. coq-zorns-lemma

    No documentation

    This library develops some basic set theory in Coq
    category:Mathematics/Logic/Set theory date:2023-08-18 keyword:set theory keyword:cardinals keyword:ordinal numbers keyword:finite keyword:countable keyword:quotients keyword:well-orders keyword:Zorn's lemma logpath:ZornsLemma
    Daniel Schepler
    10.2.0
    LGPL-2.1-or-later
    Used by 1 other packages
    21 Aug 2023