Theorem CategoryTheory.expComparison_whiskerLeft

Modification history