iblech/constructive-maximal-ideals

Reifying dynamical algebra: maximal ideals in countable rings, constructively

语言：TeX · GitHub 星标：4 · Fork：0

话题：agda · constructive-mathematics · forcing · mathematics · paper · ring-theory

在 GitHub 上查看原仓库