Theorem IsBoundedLinearMap.add

Modification history