In reply to kmsands:
1. OpenStreetMaps occasionally have problems in mountain areas, bad elevation data inherited from old DEMs (depends on the area and data source, though).
2. OsmAnd is nice, but the absolutely needed paid functions (contours) are rather costly. Mapy.cz used to be a much better OpenStreetMap app (allowing you to download the whole world offline for free, including contours and slope angles), but they went paid premium for unlimited downloads as well.
3. Until Ordnance Survey "someday" (i.e. when pigs will fly) releases the 1:25k maps under an open licence (as other equivalent agencies did years ago, all their work being tax‑payer funded after all), your only option of accessing them through another app would be likely to pay for them again through that other app subscription or payment (Outdoors Active, which underwent strong enshittification recently, or Locus, only for Android). Might be a few others there I missed.
Post edited at 12:42