Theorem NormedSpace.exp_eq_ofScalarsSum

Modification history