Theorem integrable_rpow_neg_one_add_norm_sq

Modification history