Ascent++ | help to protect coq10

Ascent++

Assertion list for term "help to protect coq10".

Results from Ascent++: 1

garlic → CapableOf → help to protect coq10

0.19

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