Theorem CategoryTheory.InjectiveResolution.iso_inv_naturality

Modification history