Theorem NonUnitalStarAlgebra.map_bot

Modification history