Theorem Encodable.decode₂_isPartialInv

Modification history

2026-03-17 12:17
Mathlib/Logic/Encodable/Basic.lean
feat: more API for Function.IsPartialInv (#36471) …
Added Encodable.decode₂_isPartialInvView on Github →