Skip to content

Mark a few lemmas as available in MC 2.3#1521

Merged
proux01 merged 1 commit intomath-comp:masterfrom proux01:mark-mcextraMar 11, 2025

Commits

Commits on Mar 11, 2025