[Merged by Bors] - chore: classify added lemma
porting notes
#42172
The logs for this run have expired and are no longer available.
Loading
added lemma
porting notes
#42172