category sSet as presentable category

Proposition

Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-12-09 Mo 07:51