摘要:
https://math.stackexchange.com/questions/1349073/how-to-find-out-the-number-of-repeating-digits-of-a-rational-number-in-decimal-f https://oeis.org/A00 阅读全文
摘要:
https://xenaproject.wordpress.com/2018/01/23/what-maths-is-already-in-lean/ 阅读全文