Def bounded_linear_map.zero

Modification history