Theorem CategoryTheory.NatIso.naturality_1

Modification history