A covariant version of Ext
Haar biinvariant measure on compact groups
scientific article; zbMATH DE number 3800362