Theorem isBoundedBilinearMap_smulRight

Modification history