Def CategoryTheory.isoConstant

Modification history