Skip to content

move krull_dimension to the category framework#39311

Merged
vbraun merged 5 commits intosagemath:developfrom fchapoton:krull_dim_catJan 27, 2025

Commits

Commits on Jan 10, 2025

Commits on Jan 18, 2025