clarify doc of BooleanFragments

parent c8ee79f0
Pipeline #71 passed with stage
in 19 minutes 51 seconds