Lean 4.33.1
Dependencies: Lean core
File: Cantor.lean
SHA-256: 48ea27acf2bb8fb6c5402fbfa50fa9f5247c7feb4b35c13c30c217b44c5f506e
Result: passed

'PaperToLean.Cantor.diagonal_not_in_list' depends on axioms: [propext]
'PaperToLean.Cantor.no_complete_list' depends on axioms: [propext]