theorem Th27: :: STACKS_1:27

for X being StackAlgebra
for s being stack of X
for e being Element of X holds core (push (e,s)) = core s