Theorem IsScalarTower.algebraMap_apply

Modification history