mathlib3
d5580f44 - feat(data/equiv/basic): add ext_iff for perm (#4067)

Commit

5 years ago

feat(data/equiv/basic): add ext_iff for perm (#4067)

References

#4925 - Make prime-avoidance branch build

Author

chrispvm

chrispvm

Parents

Loading