package info (click to toggle)
ssreflect 2.5.0-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 7,120 kB
  • sloc: ml: 506; sh: 300; makefile: 42

Folder: solvable

d .. (parent)
- - rw-r--r-- 753 Make
- - rw-r--r-- 171 Makefile
- - rw-r--r-- 89,741 abelian.v
- - rw-r--r-- 745 all_solvable.v
- - rw-r--r-- 27,002 alt.v
- - rw-r--r-- 46,884 burnside_app.v
- - rw-r--r-- 24,545 center.v
- - rw-r--r-- 13,277 commutator.v
- - rw-r--r-- 35,309 cyclic.v
- - rw-r--r-- 42,236 extraspecial.v
- - rw-r--r-- 122,623 extremal.v
- - rw-r--r-- 26,799 finmodule.v
- - rw-r--r-- 35,287 frobenius.v
- - rw-r--r-- 20,302 gfunctor.v
- - rw-r--r-- 20,688 gseries.v
- - rw-r--r-- 42,446 hall.v
- - rw-r--r-- 28,830 jordanholder.v
- - rw-r--r-- 74,957 maximal.v
- - rw-r--r-- 31,349 nilpotent.v
- - rw-r--r-- 51,268 pgroup.v
- - rw-r--r-- 14,813 primitive_action.v
- - rw-r--r-- 27,951 sylow.v