mathlib3
e1d60fda - feat(data/equiv): exists unique congr (#4890)

Commit

5 years ago

feat(data/equiv): exists unique congr (#4890)

References

#4925 - Make prime-avoidance branch build

Author

b-mehta

b-mehta

Parents

Loading