User:Inconsistency

Sandbox

Introduction to Algebraic Geometry

Introduction to Metamathematics

Connected_Open_Subset_of_Euclidean_Space_is_Path-Connected should hold for any real vector space.

proof De Rham's Theorem

improve General Stokes' Theorem

proof Eilenberg-Steenrod Uniqueness Theorem

proof Induction over Wellfounded Relations and Induction over Fires