Skip to content

minor generalization #3329

minor generalization

minor generalization #3329

Annotations

1 error and 1 warning

coq

failed Dec 11, 2024 in 57s