Skip to content

Remove the use of [the _ of _] notations #3318

Remove the use of [the _ of _] notations

Remove the use of [the _ of _] notations #3318

Annotations

1 error and 1 warning

coq

failed Dec 6, 2024 in 56s