Theorem jacobiSym.trichotomy

Modification history