[2403.10306] A Unified Non-Strict Finsler Lemma