Theorem Seminorm.map_eq_zero_of_norm_zero

Modification history