Theorem CategoryTheory.unop_zsmul

Modification history