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

Showing 1 - 1
  1. coq-mathcomp-finmap

    No documentation

    Finite sets, finite maps, finitely supported functions
    keyword:finmap keyword:finset keyword:multiset date:2024-01-17 logpath:mathcomp.finmap
    Cyril Cohen Kazuhiko Sakaguchi
    2.1.0
    CECILL-B
    Used by 6 other packages
    17 Jan 2024