Theorem Part.bind_some

Modification history