Theorem algebraMapCLM_toLinearMap

Modification history