sage
6a69e9a1 - move principal ideal to category framework

Commit

1 year ago

move principal ideal to category framework

References

#38444 - Moving ideal methods to category of rings

Author

fchapoton

fchapoton

Committer

fchapoton

fchapoton

Parents

Loading