Theorem Option.merge_isIdempotent

Modification history

2025-07-31 23:59
Mathlib/Data/Option/Defs.lean
chore: remove some duplicate instances (#25410) …
Added Option.merge_isIdempotentView on Github →