Profile Jim Fowler The Ohio State University fowler@math.osu.edu https://kisonecat.com/ Submissions Workshop: Lean for topological spaces and manifolds Registrations The 57th Spring Topology and Dynamics Conference : In-Person ($160)