Project
•
Overview
• 181
derived Lie group tangent Hopf algebra
Lie group tangent/exponential map
group co-functions/out
function Hopf algebra
group function coalgebra/Fourier algebra/Eymard
group co-functions