Theorem CategoryTheory.NatIso.naturality_2

Modification history