Theorem frattini_nongenerating

Modification history