Lumen gentium # 25 does not require any "explicit" papal declaration and, as far as the ordinary magisterium and contraception is concerned, papal teaching since 1968 has pretty much made clear that Humanae vitae is not a discretionary part of Catholic doctrine. (Whether the "alternate magisterium--Curran et al.--believe that, frankly does not interest me.