Theorem AlgCat.hasLimitsOfSize

Modification history