Skip to content

Add InducedTranslation#1197

Open
flsmith wants to merge 4 commits into
semigroups:mainfrom
flsmith:translations-qol
Open

Add InducedTranslation#1197
flsmith wants to merge 4 commits into
semigroups:mainfrom
flsmith:translations-qol

lint

73d3dd0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view