Theorem CategoryTheory.Linear.homCongr_apply

Modification history