Theorem Part.getOrElse_none

Modification history