Jan Nepomuk Mitrovský — Czech geologist, mineralogist and naturescientist