src/HOL/Analysis/document/root.bib
author wenzelm
Sat, 01 Jun 2019 11:29:59 +0200
changeset 70299 83774d669b51
parent 69519 0563419bf022
child 70953 420359ba6acd
permissions -rw-r--r--
Added tag Isabelle2019-RC4 for changeset ad2d84c42380

@article{dugundji,
  author	= {J. Dugundji},
  title		= {An extension of {Tietze's} theorem},
  journal	= {Pacific J. Math.},
  pages		= {353-367},
  volume  = 1,
  number  = 3,
  year    = 1951,
  url     = {https://projecteuclid.org/euclid.pjm/1103052106}}

@misc{dummy}