Theorem Part.pure_eq_some

Modification history