Boost near derive#1574

Merged

affeldt-aist merged 7 commits intomath-comp:masterfrom

affeldt-aist:boost_near_derive

Apr 16, 2025

Commits on Apr 15, 2025

Boost near_derive

CohenCyril
authored and
affeldt-aist
committed
changelog
affeldt-aist
committed
Update theories/normedtype.v

CohenCyril
authored and
affeldt-aist
committed
renamings

CohenCyril
authored and
affeldt-aist
committed
fix

CohenCyril
authored and
affeldt-aist
committed
update toolbox

CohenCyril
authored and
affeldt-aist
committed
upd changelog
affeldt-aist
committed