Theorem CategoryTheory.frobeniusMorphism_mate

Modification history