Def CategoryTheory.subterminalsEquivMonoOverTerminal

Modification history