Theorem CategoryTheory.Mat.id_apply

Modification history