Theorem CategoryTheory.hasCardinalLT_arrow_walkingParallelFamily

Modification history