Theorem CategoryTheory.Meq.mk_apply

Modification history