Commit 2024-03-26 14:16 c9c8738e
View on Github →chore(Data/List/Join): Delete deprecated lemmas (#11665) These two lemmas have been deprecated for more than a year and are on my way for #11633.
chore(Data/List/Join): Delete deprecated lemmas (#11665) These two lemmas have been deprecated for more than a year and are on my way for #11633.