issues
search
Smaug123
/
agdaproofs
Mathematical proofs in Agda
MIT License
4
stars
1
forks
source link
Irrelevant field of fractions denominator proof
#115
Closed
Smaug123
closed
4 years ago