Theorem CategoryTheory.ObjectProperty.smul_mem_trW_iff

Modification history