Skip to content

define Sequent.basic to imply "not closed" #826

define Sequent.basic to imply "not closed"

define Sequent.basic to imply "not closed" #826

Annotations

1 warning

Build

succeeded Jan 19, 2025 in 3m 9s