используется оно (вроде) только для построения автоморфизма некоторых экстов, которые над полем все равно нулевые
так что если все обогащено над векторными пространствами а не абелевыми группами, то пока что косяков нет

(Reply to this) (Parent)