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

Showing 1 - 1
  1. coq-orb-stab

    No documentation

    Finite orbit-stabilizer theorem
    keyword: orbit keyword: stabilizer keyword: inclusion-exclusion category: Mathematics/Algebra date: 2008-01-5
    Robert Kam <rkam2001@hotmail.com> [none]
    8.9.0
    GNU Lesser Public License
    Used by 0 other packages
    08 Dec 2019