Theorem Part.bind_eq_bind

Modification history