Skip to content

Add docstring for ideal_type#2235

Merged
fingolfin merged 5 commits intomasterfrom
mh/ideal_type
Dec 11, 2025
Merged

Add docstring for `ideal_type`#2235
fingolfin merged 5 commits intomasterfrom
mh/ideal_type

Commits

Commits on Dec 9, 2025

Commits on Dec 10, 2025