Theorem CategoryTheory.ActionCategory.stabilizerIsoEnd_apply

Modification history