Commit 2025-08-24 10:30 832a2bc1
View on Github →style(AkraBazzi): use more standard indentation (#27875)
Also do some minor golfing, such as removing superfluous by exact
or using filter_upwards
slightly more.
style(AkraBazzi): use more standard indentation (#27875)
Also do some minor golfing, such as removing superfluous by exact
or using filter_upwards
slightly more.