Как узнать, вступил ли муж в наследство на дом в деревне?

Добрые утро, дамы! Вы всё знаете! Смотрите, у папы есть доля дома в деревне, досталась от его мамы, как можно узнать вступил он в наследство или нет? Выписка из ЕГРН? Дом в Рязанской области

Дополню-нужно это папе, так как хочет иметь на руках документ о собственности, но не знаем как получить