mapping space functor preserves limits
Proposition
todo
Proof
Date: nil
Author: Anton Zakrewski
Created: 2024-12-09 Mo 08:40