Skip to content

Rename `fin_maps.singleton_proper` into `singletonM_proper`.

Robbert Krebbers requested to merge robbert/singletonM_proper into master

Merge request reports