Skip to content

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

Remove the use of [the _ of _] notations

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

Annotations

1 warning

coq

succeeded Dec 6, 2024 in 37s