Обязан ли продавец при купле-продажи дома предоставить документ о прописанных и какой

Добрый вечер, Ольга! Проконсультируйте, я покупатель, хочу приобрести участок и на нем построен дом. Какой документ должен предоставить продавец о прописанных в этом доме, является ли это обязательным т к мне сказали что сейчас это в электронном виде и при оформлении сделки это как то проверяется есть прописанные или нет