2 search results for "tag:"keyword:finset""

Showing 1 - 2
  1. coq-mathcomp-finmap

    No documentation

    Compatibility package for rocq-mathcomp-finmap
    keyword:finmap keyword:finset keyword:multiset logpath:mathcomp.finmap
    Cyril Cohen Kazuhiko Sakaguchi
    2.2.1
    CECILL-B
    Used by 6 other packages
    29 Apr 2025
  2. rocq-mathcomp-finmap

    No documentation

    Finite sets, finite maps, finitely supported functions
    keyword:finmap keyword:finset keyword:multiset logpath:mathcomp.finmap
    Cyril Cohen Kazuhiko Sakaguchi
    2.2.1
    CECILL-B
    Used by 1 other packages
    29 Apr 2025