TY - RPRT TI - S-protomodularity of the category of cocommutative bialgebras AU - Sterck Florence PY - 2022 UR - https://arxiv.org/abs/2201.06520 ID - 2201.06520 ER -