Mentions légales du service

Skip to content

Compatibility with MathComp 2

Pierre Roux requested to merge mc_1_and_2 into master

This is backward compatible with MathComp 1 and subsumes !8 (closed).

Merge request reports