Theorem isBoundedBilinearMapSmul

Modification history