Mathlib v3 is deprecated. Go to Mathlib v4

Theorem equiv_like.inv_apply_apply

Modification history

2022-09-30 18:24
src/data/fun_like/equiv.lean
feat(order/hom/heyting): Heyting homomorphisms (#15308) …
Added equiv_like.inv_apply_applyView on Github →