Theorem CategoryTheory.Mat_.id_apply

Modification history