All Comments

Off the top of my head, Folland should also require the additional condition, which would imply (5).

Missing $<$ on point (4).