Theorem CategoryTheory.RanIsSheafOfCoverLifting.gluedSection_is_unique

Modification history