Theorem div_sub'

Modification history