]> gitweb.michael.orlitzky.com - sage.d.git/tree
projects / sage.d.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
Add a test for K.is_proper() <==> pi(K).is_proper().
-rw-r--r-- 512 README blob | history | raw
-rw-r--r-- 167 init.sage blob | history | raw
-rw-r--r-- 46 makefile blob | history | raw
drwxr-xr-x - mjo tree | history
My personal library of Sage code.