This page is listing the official LineageOS 17.1 (Android 10 10.0) changes and downloads for Xiaomi Redmi 7 / Y3 (onclite).
or
Select a device from the device menu.