Commit 2025-09-13 11:28 14f092f0

View on Github →

feat(Algebra/AddTorsor/Basic): add Pi.vsub_apply (#29603)

Estimated changes

added theorem Pi.vsub_apply
added theorem Pi.vsub_def