Theorem CategoryTheory.Mat_.add_apply

Modification history