Theorem CategoryTheory.Quotient.Linear.smul_eq

Modification history