Skip to content

added back function to encode number of head parameters in axiom #281

added back function to encode number of head parameters in axiom

added back function to encode number of head parameters in axiom #281

Annotations

2 warnings

This job succeeded