Apply 1 suggestion(s) to 1 file(s)

2 jobs for !306 with robbert/singleton_subseteq in 5 minutes and 1 second (queued for 2 seconds)
latest merge request