Theorem divp_assoc

Modification history