Skip to content
GitLab

Improve documentation of convention for `AsFractional` instances

Merged Robbert Krebbers requested to merge robbert/asfractional into master

See discussion at !737 (comment 75155)

@Blaisorblade and @jung please review.

Merge request reports