creeping towards itgofg
checkpoint
rearranging stuff, start to clear out unrelated stuff from "Algebraic integers I"
islss3
first on finitely generated modules
elementary theory of ideals
drnglpir, failed zlpir
commentings-out; math tokens