1 search result for "tag:"keyword: functions""

Showing 1 - 1
  1. coq-functions-in-zfc

    No documentation

    Functions in classical ZFC
    keyword: set theory keyword: Zermelo-Fraenkel keyword: functions category: Mathematics/Logic/Set theory date: April 2001
    Carlos Simpson <carlos@math.unice.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019