Biblioteca Gertrudis Bocanegra is a public library in central Pátzcuaro, but the reason to step inside is the large mural by Juan O'Gorman. Commissioned under President Lázaro Cárdenas, it turns a working civic building into one of the town's better short cultural stops.