Theorem CategoryTheory.Mat.comp_def

Modification history