The actual current tests produce a projective next family and its complete prefix invariant

Initializing...

The actual current tests produce a projective next family and its complete prefix invariant · Prove2Me