Commit 2022-09-22 22:45 9806b5c3

View on Github →

doc(topology/algebra/filter_basis): modify doc of add_group_filter_basis_of_comm (#16597) Added the additive adjective to the doc for the @additive variation add_group_filter_basis_of_comm of group_filter_basis_of_comm

Estimated changes