Theorem CategoryTheory.expComparison_iso_of_frobeniusMorphism_iso

Modification history