Skip to content
GitLab
Explore
Sign in
Commit
c798a6d1
authored
May 20, 2022
by
Andreas Klöckner
Committed by
Andreas Klöckner
May 20, 2022
Browse files
Add DirectDiscretizationConnection.is_permutation
parent
20eb75a7
Loading
Loading
Loading
Loading
Changes
2
Pipelines
1