Skip to content

make discrete_topology a ptopologicalType

6f6502b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

make discrete_topology a ptopologicalType #1975

make discrete_topology a ptopologicalType
6f6502b
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
rocq-core
succeeded May 18, 2026 in 1m 3s