The definition and basic properties of topological groups (1998)

by Artur Korniłowicz
Venue:Formalized Mathematics