2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/69819We give an easy proof of the Bernstein-Lunts equivalence of ordinary and equivariant derived categories of Harish-Chandra modules. This proof requires no boundedness assumptions. In the appendix we collect some needed, but not completely standard facts from homological algebra.25 pages; added referenceRepresentation Theory22E46text