Theorem algebraMap_strictMono

Modification history