HUGINN
Regular convergence in a paracompact space — Huginn