Theorem Encodable.surjective_decode_getD

Modification history

2026-01-06 09:05
Mathlib/Logic/Encodable/Basic.lean
chore(Data/Option): deprecate `Option.iget` (#33583) …
Added Encodable.surjective_decode_getDView on Github →