Theorem CategoryTheory.NatIso.op_isoWhiskerLeft

Modification history