package info (click to toggle)
ssreflect 2.3.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,536 kB
  • sloc: ml: 506; sh: 190; lisp: 39; makefile: 39

Folder: solvable

d .. (parent)
- l rwxrwxrwx 13 AUTHORS → ../../AUTHORS
- l rwxrwxrwx 14 CeCILL-B → ../../CeCILL-B
- l rwxrwxrwx 16 INSTALL.md → ../../INSTALL.md
- - rw-r--r-- 815 Make
- - rw-r--r-- 171 Makefile
- l rwxrwxrwx 15 README.md → ../../README.md
- - rw-r--r-- 89,527 abelian.v
- - rw-r--r-- 479 all_solvable.v
- - rw-r--r-- 23,450 alt.v
- - rw-r--r-- 46,727 burnside_app.v
- - rw-r--r-- 24,538 center.v
- - rw-r--r-- 13,163 commutator.v
- - rw-r--r-- 34,824 cyclic.v
- - rw-r--r-- 42,103 extraspecial.v
- - rw-r--r-- 122,560 extremal.v
- - rw-r--r-- 26,515 finmodule.v
- - rw-r--r-- 35,380 frobenius.v
- - rw-r--r-- 20,396 gfunctor.v
- - rw-r--r-- 20,710 gseries.v
- - rw-r--r-- 42,423 hall.v
- - rw-r--r-- 28,810 jordanholder.v
- - rw-r--r-- 74,972 maximal.v
- - rw-r--r-- 28,542 nilpotent.v
- - rw-r--r-- 51,243 pgroup.v
- - rw-r--r-- 14,825 primitive_action.v
- - rw-r--r-- 27,938 sylow.v