Theorem ConjClasses.exists_rep

Modification history