Skip to content

use CommutativeRing in ring_extension#37316

Merged
vbraun merged 1 commit intosagemath:developfrom fchapoton:commring_ring_extensionFeb 25, 2024

Commits

Commits on Feb 13, 2024