mathlib3
2c814ece
- Update rel_iso.lean
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Update rel_iso.lean
References
eric-wieser/directed-monotone
Author
eric-wieser
Parents
f2ecb01a
Loading
