Theorem CategoryTheory.Mat_.id_apply_self

Modification history