Theorem sub_div'

Modification history