Mentions légales du service

Skip to content

Avoid relying on `Add Field` calling `Add Ring`.

Maxime Dénès requested to merge mdenes/coquelicot:add-field-no-add-ring into master

This is in preparation for https://github.com/coq/coq/pull/10734

Merge request reports

Loading