Theorem isArtinian_of_surjective_algebraMap

Modification history