É obrigatório o uso de gás de rua em condomínios?

Moro em um condomínio com 9blocos e o síndico está fazendo cotação para a implantação de gás de rua. Me informaram que existe uma lei que diz ser obrigatório que os condomínios façam essa modificação. Procede? Obrigada