Documentation

Lean 4 Proof

theorem axiom_independence :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/Topology.lean:73

Module Section

Theorem 2, Propositions 1 and 4: CES-Forced Topology

In the same file