Enrico Martini (alias Comandante Mauri) prende parte alla lotta di Liberazione con il nome di battaglia "Mauri", che nel Dopoguerra decide di aggiungere al suo cognome. Per le sue azioni da partigiano, viene insignito della Medaglia d'oro al valor militare