product category as categorical product
1.
Proposition
2.
Proof
Date: nil
Author: Anton Zakrewski
Created: 2024-10-15 Di 23:16