Theorem Int.norm_eq_abs

Modification history