linear_algebra.free_module.finite.rank ⟷ ?

Dependencies 9 + 511

Show graph

The unported dependencies are

• linear_algebra.free_module.finite.rank
• init.core
• algebra.order.monoid.cancel.defs
• algebra.abs
• algebra.group_power.lemmas
• init.data.list.basic
• linear_algebra.free_module.rank
• init.data.list.default
• algebra.order.monoid.cancel.basic
• init.logic