Theorem Holor.slice_zero

Modification history