Theorem isBoundedBilinearMapMul

Modification history