Ascent++ | foliation | HasProperty

Ascent++

Assertion list

foliation (primary) → HasProperty

Results from Ascent++: 1

foliation → HasProperty → taut

0.43

This work is licensed under a Creative Commons Attribution 4.0 International License. Accessibility. Imprint. Privacy.