mathlib3
ba773e14 - `setoid_is_antisymm_rel`
Commit
View On GitHub
Commit
2 years ago
`setoid_is_antisymm_rel`
Author
astrainfinita astrainfinita
Parents
d693fd1a
FAQ Terms Privacy Refunds Impressum
Loading