Theorem divp_self

Modification history