Theorem div_left_inj'

Modification history