mathlib
fe1575a0 - chore(topology): sanity_check pass (#1416)

Commit

6 years ago

chore(topology): sanity_check pass (#1416) * chore(topology): sanity_check pass * improvement * avoid _inst_3 to recover instance

References

Author

sgouezel

Committer

mergify[bot]

Parents