Theorem CategoryTheory.NatIso.naturality_1'

Modification history