The definition and basic properties of topological groups (1998)

by Artur Kornilowicz
Venue:Formalized Mathematics