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: Jun 05 2023 at 09:01 UTC