Pages that link to "Item:Q2217198"
From MaRDI portal
The following pages link to On a machine-checked proof for fraction arithmetic over a GCD domain (Q2217198):
Displayed 1 item.
The following pages link to On a machine-checked proof for fraction arithmetic over a GCD domain (Q2217198):
Displayed 1 item.