Theorem Algebra.surjective_algebraMap_iff

Modification history