Theorem Holor.slice_add

Modification history