Theorem CategoryTheory.Mat.id_apply_self

Modification history