Theorem CategoryTheory.Iso.eq_whisker

Modification history