Theorem CategoryTheory.Mat_.comp_apply

Modification history