Theorem: none_mapsto_none (Saturn/PrependClause.lean)

State before:
α β : Type
fn : α → β
⊢ none = none
Tactic:
rfl
State after:
no goals