Theorem Behrend.map_succ'

Modification history