Skip to content

complete outer_regularity_outer #52

complete outer_regularity_outer

complete outer_regularity_outer #52

Annotations

1 warning

coq-elpi

succeeded Apr 9, 2024 in 5m 47s