Theorem CategoryTheory.Arrow.iso_w

Modification history