Theorem Part.map_none

Modification history