Skip to content

generalize indexing in lemmas for series #1172

generalize indexing in lemmas for series

generalize indexing in lemmas for series #1172

Annotations

1 warning

coq

succeeded Jan 7, 2025 in 40s