mathlib

c59f2612 - fix(geometry/euclidean/angle/unoriented/right_angle): lemma naming consistency (#17273)

fix(geometry/euclidean/angle/unoriented/right_angle): lemma naming consistency (#17273) Adjust the name of one lemma for `tan` to be consistent with the names of corresponding `sin` and `cos` lemmas.