Skip to content

Translate more axioms from proto-alpha

Guillaume Claret requested to merge guillaume-claret@add-more-translations into master

Merge request reports