mathlib
d9a774e2 - feat(order/hom): `prod.swap` as an `order_iso` (#12585)
Commit
View On GitHub
Commit
4 years ago
feat(order/hom): `prod.swap` as an `order_iso` (#12585)
Author
urkud urkud
Parents
840a0425
FAQ Terms Privacy Refunds Impressum
Loading