Closed pi8027 closed 2 years ago
As suggested in https://github.com/math-comp/algebra-tactics/issues/57#issuecomment-1097054737. Although we may investigate further and revive this feature at some point, I would pick a seemingly safer side for now.
As suggested in https://github.com/math-comp/algebra-tactics/issues/57#issuecomment-1097054737. Although we may investigate further and revive this feature at some point, I would pick a seemingly safer side for now.