1 search result for "tag:"keyword: Schroeder-Bernstein""

Showing 1 - 1
  1. coq-schroeder

    No documentation

    The Theorem of Schroeder-Bernstein
    keyword: Schroeder-Bernstein keyword: set theory category: Mathematics/Logic/Set theory
    Hugo herbelin
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019