Theorem WithAbs.norm_eq_abv

Modification history