Theorem Holor.slice_eq

Modification history