directory / @ 46:88f9aff7eb71

name size permissions
file Gutil.agda 5735 -rw-r--r--
file Solvable.agda 3009 -rw-r--r--
file Symmetric.agda 9706 -rw-r--r--