Theorem Algebra.algebraMap_ofSubring_apply

Modification history