Theorem ContinuousLinearMap.sub_apply'

Modification history