Theorem ContinuousLinearMap.inverse_eq_ringInverse

Modification history