Skip to content

Make EqP be as superclass of GEq, OrdP of GCompare#70

Merged
phadej merged 1 commit into
masterfrom
eqp-superclass
May 10, 2026
Merged

Make EqP be as superclass of GEq, OrdP of GCompare#70
phadej merged 1 commit into
masterfrom
eqp-superclass

Commits

Commits on Apr 27, 2026