Theorem UpperSet.coe_map_symm_apply

Modification history

2026-07-08 18:17
Mathlib/Order/UpperLower/CompleteLattice.lean
feat(Translate): validate all translations (#40365) …
Added UpperSet.coe_map_symm_applyView on Github →