Theorem Option.elim'_none

Modification history

2023-05-25 00:26

Mathlib/Data/Option/Defs.lean

chore: restore simp tag for BoxIntegral.BoxAdditiveMap.map_split_add (#4294)

Added Option.elim'_none View on Github →