Skip to content

[feature][Python] Add operator __len__ to spaces.

Robert K requested to merge feature/space-len into master

@andreas.dedner: We listed this as an addon during the last dune-fem school. Here it is now.

Merge request reports