Theorem algebraMap_mono

Modification history