Theorem Function.extend_val_apply

Modification history

2025-03-04 17:12
Mathlib/Data/Subtype.lean
feat: product using `Function.extend` (#22551) …
Added Function.extend_val_applyView on Github →