Речник на българския език
биха влезли е производна форма на вляза (условно наклонение, 3 л., мн. ч.).