Def bounded_linear_map.scalar_prod_space_iso

Modification history