Theorem apply_abs_le_mul_of_one_le'

Modification history