theorem Th35: :: STACKS_1:35

for X being StackAlgebra
for s being stack of X holds Class ((==_ X),s) is stack of (X /==)