Theorem ContinuousLinearMap.map_zero₂

Modification history