Skip to content

simplify definition of chop #773

simplify definition of chop

simplify definition of chop #773