Page "Coalgebra#Sweedler notation" not found :(