Theorem Part.coe_some

Modification history