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

Showing 1 - 1
  1. rocq-mathcomp-order

    No documentation

    Mathematical Components Library on order theory
    keyword:small scale reflection keyword:mathematical components keyword:order theory keyword:partial order keyword:lattices keyword:total order logpath:mathcomp.order
    The Mathematical Components team
    2.6.0
    CECILL-B
    Used by 3 other packages
    24 Jul 2026