Skip to content

Rename "proportionality to" to "ratio"#556

Merged
rays22 merged 2 commits intomasterfrom issue555Mar 14, 2024

Commits

Commits on Feb 28, 2024

Commits on Mar 8, 2024