Theorem Behrend.box_zero

Modification history