Completion of the FLT regular project We are proud to announce that as of December 5th 2023, the FLT regular project has been completed. We have formally verified the classical proof of Fermat's last theorem for regular primes two years after the project started. The blueprint for the project can be found here and the formalization itself is available on GitHub here. Statement We used the following definition of regular primes in the project. /-- A natural number `n` is regular if `n` is coprime to the cardinality of the class group of the `n`-th cyclotomic field. -/

p.s. 機場的車是坐到上野/順序照我的 preference https://www.booking.com/hotel/jp/little-japan.zh-tw.html 三萬 離淺草橋站五百公尺 青旅/膠囊旅館 https://www.booking.com/hotel/jp/stayme-the-ueno.zh-tw.html 五萬五 上野車站旁邊 四人房 不可取消 https://www.booking.com/hotel/jp/apahoteru-qiu-xie-yuan-yi-dong.zh-tw.html 五萬二 秋葉原站旁邊 兩間雙人房 是飯店（ＡＰＡ） https://www.booking.com/hotel/jp/section-l-yushima-bunkyo-city.zh-tw.html 五萬 地鐵旁邊 離上野半公里 四人房 有兩張是沙發床