lost airpod pros

did anyone happen to find an empty airpod pros case in the library on monday??