Theorem CategoryTheory.leftDualIso_id

Modification history