pub fn proper_time(dilated_time: f64, speed: f64) -> Option<f64>Expand description
Computes proper time τ = t / γ from dilated coordinate time t.
Returns None when dilated_time is negative or not finite, when speed is invalid, or when
the computed proper time is not finite.