What is Mirandinha?
'''Mirandinha''' may refer to: *[[Mirandinha (footballer, born 1952)]], Sebastião Miranda da Silva Filho, Brazilian forward who played in the 1974 FIFA World Cup *[[Mirandinha (footballer, born 1959)]], Francisco Ernandi Lima da Silva, the first Brazilian to play in English football in 1987 {{disambig}}