▁may ▁identify ▁ ▁with ▁ ▁for ▁ ▁over ▁the ▁product ▁space . ▁ ▁We ▁may ▁then ▁form ▁the ▁projection ▁of ▁, ▁ ▁. ▁ ▁See ▁also ▁La ver ▁tree , ▁a ▁type ▁of ▁tree ▁used ▁in ▁set ▁theory ▁as ▁part ▁of ▁a ▁notion ▁of ▁forcing ▁ ▁References ▁▁▁ ▁Category : Des cript ive ▁set ▁theory ▁Category : T rees ▁( set ▁theory ) ▁Category : Det erm in acy <0x0A> </s> ▁Hash em ▁He yd ari ▁ ▁is ▁an ▁Iran ian ▁football ▁Mid f iel der ▁who ▁played ▁for ▁Iran ▁and ▁Est eg hl al ▁FC . ▁ ▁References ▁ ▁External ▁links ▁▁▁ ▁Category : I ran ▁international ▁football ers ▁Category : I ran ian ▁football ers ▁Category : Est eg hl al ▁F . C . ▁players ▁Category : R ah ▁A han ▁players ▁Category : 1 9 6 6 ▁birth s ▁Category : L iving ▁people ▁Category : B ah man ▁players ▁Category : Associ ation ▁football ▁mid field ers <0x0A> </s> ▁Bat rach os au roid es ▁is ▁an ▁ext inct ▁genus ▁of ▁pre histor ic ▁sal am ander ▁known ▁from ▁several ▁sites ▁across ▁the ▁United ▁States . ▁ ▁See ▁also ▁▁ ▁List ▁of ▁pre histor ic ▁am ph ib ians ▁ ▁References ▁ ▁Category : C en oz o ic ▁sal am and ers ▁Category : Pre histor ic ▁am ph ib ians ▁Category : F oss il ▁tax a ▁described ▁in ▁ 1 9 4 3 ▁Category : P ale ogene ▁genus ▁first ▁appearances ▁Category : Ne ogene