kenkubota

↗ HN profile [ 14.8 ms ] full profile

Karma: 2
Created: February 24, 2020 (6y ago)
Submissions: 0

https://doi.org/10.4444/100

My comment on Kevin Buzzard's intervention: https://groups.google.com/d/msg/metamath/Fgn0qZEzCko/bvVem1B... Link list of the discussion threads: https://owlofminerva.net/kubota/update-to-the-foundations-of...

6y ago · view thread · ↗