Theorem ContinuousLinearMap.exists_right_inverse_of_surjective

Modification history