Theorem Behrend.dValue_pos

Modification history