A topological group is a group object in category Top.
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 22:02