Theorem ContinuousLinearMap.ext_ring

Modification history