Theorem Part.bind_some_right

Modification history