Commit 2024-02-15 07:38 38c547ff

View on Github →

feat(Bornology/Constructions): drop [Finite ι] assumption (#10582)

Estimated changes

modified def Bornology.induced