Skip to content

Improve docstring some more

49e0a61
Select commit
Loading
Failed to load commit list.
Merged

refactor: structural recursion: prove .eq_def directly #10606

Improve docstring some more
49e0a61
Select commit
Loading
Failed to load commit list.