Theorem Part.bind_defined

Modification history