Theorem CategoryTheory.frobeniusMorphism_iso_of_expComparison_iso

Modification history