We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
7b5e174
This release makes Extructures compatible with MathComp 2.0.0.