Theorem zero_lt_one_add_norm_sq'

Modification history