Theorem Option.merge_isAssociative

Modification history

2026-01-01 15:17
Mathlib/Data/Option/Defs.lean
chore: remove June 2025 deprecated declarations (#33429) …
Deleted Option.merge_isAssociativeView on Github →
2025-07-31 23:59
Mathlib/Data/Option/Defs.lean
chore: remove some duplicate instances (#25410) …
Added Option.merge_isAssociativeView on Github →