Def CategoryTheory.LocalizedMonoidal

Modification history