Skip to content

rename opposite initial/terminal instances#2012

Merged
Alizter merged 1 commit intoHoTT:masterfrom Alizter:ps/rr/rename_opposite_initial_terminal_instancesJul 4, 2024

Commits

Commits on Jul 4, 2024