Repair structure names in tvs.v#1631

Merged

affeldt-aist merged 7 commits intomath-comp:masterfrom

May 29, 2025

Commits on May 29, 2025

repair structure names in tvs.v

Tragicus
authored and
affeldt-aist
committed
doc and changelog

Tragicus
authored and
affeldt-aist
committed
repair uniform algebraic structures

Tragicus
authored and
affeldt-aist
committed
fix Zmodules

Tragicus
authored and
affeldt-aist
committed
doc and changelog

Tragicus
authored and
affeldt-aist
committed
nitpicks
affeldt-aist
committed
nitpicks
affeldt-aist
committed