Theorem abs_le_of_sq_le_sq'

Modification history