Theorem IsBoundedBilinearMap.continuous_right

Modification history