There is a gist: https://gist.github.com/LessnessRandomness/cc2b6fdadaa1127fa8264f1c1f2e9ea2
I can't prove Zoring_automorphism_on_zero and I believe it's because of faulty definitions (most probably 'embedding' or 'isomorphism'). Can someone check if they make sense, please?
Last updated: Sep 30 2023 at 15:01 UTC