Skip to content

Remove the use of [the _ of _] notations (#1430) #3320

Remove the use of [the _ of _] notations (#1430)

Remove the use of [the _ of _] notations (#1430) #3320

Annotations

1 error and 1 warning

coq

failed Dec 7, 2024 in 55s