iblech/constructive-maximal-ideals

Reifying dynamical algebra: maximal ideals in countable rings, constructively

TeX