Skip to content

Follow-up: completes proof for Saturation_repr.mul_is_valid

Guillaume Claret requested to merge 36-follow-up-from-resolve-add-correct-compare-definitions into master

Closes #36 (closed)

Edited by Guillaume Claret

Merge request reports