Skip to content

Recover schema axioms from ACSet type #263

Recover schema axioms from ACSet type

Recover schema axioms from ACSet type #263