Theorem CategoryTheory.Mat_.comp_def

Modification history