Mathlib v3 is deprecated. Go to Mathlib v4

Def s

Modification history

2021-07-27 10:18
test/equiv.lean
feat(logic/embedding): add a coe instance from equiv to embeddings (#8323)
Added sView on Github →