---
Repository: https://github.com/math-comp/algebra-tactics.git
Repository-Browse: https://github.com/math-comp/algebra-tactics
Bug-Database: https://github.com/math-comp/algebra-tactics/issues
Bug-Submit: https://github.com/math-comp/algebra-tactics/issues/new
