Code

fix notations in subgroup lemmas#2182

Code

Merged

Alizter merged 1 commit intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/fix_notations_in_subgroup_lemmasAlizter/HoTT:ps/rr/fix_notations_in_subgroup_lemmasCopy head branch name to clipboardJan 3, 2025

+3-3

Commits

Commits on Jan 3, 2025

• fix notations in subgroup lemmas

  Show description for 216bc70
  Alizter

  committed
  216bc70