Commit 2024-02-05 06:26 31eb08ad

View on Github →

chore(Normed): move abs_norm, add abs_norm' (#10202)

Estimated changes

added theorem abs_norm'
deleted theorem abs_norm