Theorem one_le_sq_iff

Modification history