Commit 2024-10-18 03:51 fb09b712

View on Github →

chore: cleanup of pairwise imports (#17888)

Estimated changes

added theorem Fin.cast_lt_cast