Commit 2026-03-25 19:15 280c499b
View on Github →chore: golf rcases + subst (#37136)
Replace rcases ... with h | ...; subst h with rcases ... with rfl | ... and other similar golfs
I believe this improves readability as the name of h were previously not adding much information about the type of h